type token = | WITH| WHILE| WHERE| WHEN| VAR| UNTIL| UNREACHABLE| TYPE| TRY| TO| THROW| THEN| SUBTYPES| STRING_LIT of string| STRING| STAR_COLON| SLICING| SHR| SHL| SETTER| SEMI_COLON| RRBRACKET| RPAR| RETURN| REPEAT| RECURSELIMIT| RECORD| REAL_LIT of Q.t| REAL| RDIV| RBRACKET| RBRACE| PRINTLN| PRINT| PRAGMA| POW| PLUS_COLON| PLUS| PASS| OTHERWISE| OR| OF| NOT| NEQ| MUL| MOD| MINUS| MASK_LIT of Bitvector.mask| LT| LPAR| LOOPLIMIT| LLBRACKET| LET| LEQ| LBRACKET| LBRACE| INT_LIT of Z.t| INTEGER| IN| IMPL| IF| IDENTIFIER of string| GT| GETTER| GEQ| FUNC| FOR| EXCEPTION| EQ_OP| EQ| EOR| EOF| ENUMERATION| END| ELSIF| ELSE| DOWNTO| DOT| DO| DIVRM| DIV| DEBUG| CONSTANT| CONFIG| COMMA| COLON_COLON| COLON| CATCH| CASE| BOR| BOOL_LIT of bool| BOOLEAN| BNOT| BITVECTOR_LIT of Bitvector.t| BITS| BIT| BEQ| BEGIN| BAND| ASSERT| AS| ARROW| ARRAY| ARBITRARY| AND