type token = | WITH| WHEN| VARIABLE| VAR| UTZ of Big_int.big_int| USE| UNDERSCORE| TZ of Big_int.big_int| TRUE| TRANSITION| TRANSFER| TO| THEOREM| THEN| STRING of string| STATES| SPECIFICATION| SORTED| SOME| SHADOW| SEMI_COLON| SECURITY| RPAREN| RETURN| REQUIRE| REFUSE_TRANSFER| REF| RECORD| RBRACKET| RBRACE| RATIONAL of Big_int.big_int * Big_int.big_int| PREDICATE| POSTCONDITION| PLUSEQUAL| PLUS| PKEY| PIPE| PERCENTRBRACKET| PERCENT| PARTITION| OTHERWISE| OREQUAL| OR| OPTION| ON| OF| NUMBER of Big_int.big_int| NOT| NONE| NEQUAL| NAMESPACE| MULTEQUAL| MULT| MTZ of Big_int.big_int| MINUSEQUAL| MINUS| MATCH| LPAREN| LET| LESSEQUAL| LESS| LEMMA| LBRACKETPERCENT| LBRACKET| LBRACE| LABEL| ITER| INVARIANT| INVALID_EXPR| INVALID_EFFECT| INVALID_DECL| INITIALIZED| INITIAL| IN| IMPLY| IF| IDENTIFIED| IDENT of string| GREATEREQUAL| GREATER| FUNCTION| FROM| FORALL| FOR| FALSE| FAILIF| EXTENSION| EXISTS| EQUIV| EQUAL| EOF| ENUM| END| ELSE| EFFECT| DURATION of string| DOT| DONE| DO| DIVEQUAL| DIV| DEFINITION| DATE of string| CONTRACT| CONSTANT| COMMA| COLONEQUAL| COLON| COLLECTION| CALLED| BY| BUT| BREAK| BEFORE| AT_UPDATE| AT_REMOVE| AT_ADD| AT| ASSET| ASSERT| ARCHETYPE| ANDEQUAL| AND| ADDRESS of string| ACTION| ACCEPT_TRANSFERval start_expr :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
ParseTree.exprval main :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
ParseTree.archetypemodule MenhirInterpreter : sig ... endmodule Incremental : sig ... end