base.json.Token

read .match[R$0:iso,imm,mut,mutH,read,readH](m: mut base.json.TokenMatch[R$0]): R$0,
read .col: imm base.Nat,
read .line: imm base.Nat,
read .match[R$0:iso,imm,mut,mutH,read,readH](m: mut base.json.TokenMatch[R$0]): R$0,
read .col: imm base.Nat,
read .line: imm base.Nat,