type token = | WRITES| WITH| WHILE| VARIANT| VAL| USE| UNDERSCORE| UIDENT of string| TYPE| TRY| TRUE| TO| THEORY| THEN| STRING of string| SO| SEMICOLON| SCOPE| RIGHTSQ| RIGHTPAR| RIGHTBRC| RETURNS| RETURN| REQUIRES| REC| REAL of Number.real_literal| READS| RANGE| RAISES| RAISE| QUOTE_LIDENT of string| PURE| PRIVATE| PREDICATE| POSITION of Loc.position| OR| OPPREF of string| OP4 of string| OP3 of string| OP2 of string| OP1 of string| OLD| NOT| MUTABLE| MODULE| MINUS| META| MATCH| LTGT| LT| LRARROW| LIDENT of string| LET| LEMMA| LEFTSQ| LEFTPAR| LEFTBRC| LARROW| LABEL| INVARIANT| INTEGER of Number.integer_literal| INDUCTIVE| IN| IMPORT| IF| GT| GOAL| GHOST| FUNCTION| FUN| FORALL| FOR| FLOAT| FALSE| EXPORT| EXISTS| EXCEPTION| EQUAL| EPSILON| EOF| ENSURES| END| ELSE| DOWNTO| DOTDOT| DOT| DONE| DO| DIVERGES| CORE_UIDENT of string| CORE_LIDENT of string| CONTINUE| CONSTANT| COMMA| COLON| COINDUCTIVE| CLONE| CHECK| BY| BREAK| BEGIN| BARBAR| BAR| AXIOM| ATTRIBUTE of string| AT| ASSUME| ASSERT| AS| ARROW| ANY| AND| AMPAMP| ALIAS| ABSURD| ABSTRACTval term_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ptree.termval term_comma_list_eof :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Ptree.term listval qualid_eof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ptree.qualidval qualid_comma_list_eof :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Ptree.qualid listval mlw_file :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Pmodule.pmodule Wstdlib.Mstr.tval ident_comma_list_eof :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Ptree.ident listmodule MenhirInterpreter : sig ... endmodule Incremental : sig ... end