{
  "version": "0.2.1",
  "keywords": [
    "else",
    "false",
    "fn",
    "if",
    "import",
    "let",
    "limit",
    "module",
    "return",
    "true",
    "type",
    "var",
    "while"
  ],
  "operators": [
    "+",
    "-",
    "*",
    "/",
    "%",
    "==",
    "!=",
    "<",
    "<=",
    ">",
    ">=",
    "&&",
    "||",
    "!"
  ],
  "builtins": [
    "abs",
    "add",
    "approx",
    "approx_value",
    "context",
    "convert_frame",
    "err_int",
    "exact_value",
    "is_some",
    "len",
    "make_witness",
    "matmul",
    "max",
    "min",
    "mul",
    "none_int",
    "normalize",
    "observe_mod",
    "observer",
    "ok",
    "provenance",
    "random_int",
    "recover",
    "recover_without_witness",
    "relu",
    "repr_add",
    "repr_value",
    "represent",
    "request_effect",
    "reshape",
    "softmax",
    "some",
    "sub",
    "sum",
    "tanh",
    "tensor",
    "to_float",
    "unwrap"
  ],
  "ast_kinds": [
    "literal",
    "var",
    "binary",
    "unary",
    "call",
    "list",
    "record",
    "tuple",
    "index",
    "field",
    "let",
    "assign",
    "if",
    "while",
    "return",
    "expr"
  ],
  "types": [
    "Bool",
    "Int64",
    "Float64",
    "String",
    "List",
    "Tuple",
    "Record",
    "Option",
    "Result",
    "Tensor",
    "Observer",
    "Context",
    "Representation",
    "ProvenanceRef",
    "RecoveryWitness",
    "Capability",
    "Exact",
    "Approx"
  ],
  "token_policy": "ASCII identifiers; UTF-8 string content; no invisible controls or unpaired surrogates"
}