↰
base.json.Tokensbase.json.Json/0base.json.JsonMatch/1base.json.Jsons/0base.json.LexJson/0base.json.LexNum/0base.json.LexString/0base.json.LexStringEscapes/0base.json.LexUnicodeEscapes/0base.json.ParseJson/0base.json.Token/0base.json.TokenMatch/1base.json.Tokens/0base.json.TopLevelMatch/0base.json.ValidateInput/0imm .true(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .quoted(line: imm base.Nat, col: imm base.Nat, chars: imm base.Str): imm base.json.Token -> …,
imm .comma(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .cc(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .cs(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .oc(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .os(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .false(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .null(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .numeric(line: imm base.Nat, col: imm base.Nat, num: imm base.Float): imm base.json.Token -> …,
imm .unknownFragment(line: imm base.Nat, col: imm base.Nat, bufferContents: imm base.Str): imm base.json.Token -> …,
imm .colon(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,imm .true(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .quoted(line: imm base.Nat, col: imm base.Nat, chars: imm base.Str): imm base.json.Token -> …,
imm .comma(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .cc(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .cs(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .oc(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .os(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .false(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .null(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,
imm .numeric(line: imm base.Nat, col: imm base.Nat, num: imm base.Float): imm base.json.Token -> …,
imm .unknownFragment(line: imm base.Nat, col: imm base.Nat, bufferContents: imm base.Str): imm base.json.Token -> …,
imm .colon(line: imm base.Nat, col: imm base.Nat): imm base.json.Token -> …,