Number of tokens:
Max arity:
Vocabulary:




Token   Symbols A {{a + 1}}
{{token + 1}} {{stm[token].id}}