type token = | WITH| WHEN| VARIANT| UNDERSCORE| UIDENT of string| TRUE| TILDE| THEN| STRING of string| STAR| SEMICOLON| RIGHTSQ| RIGHTPAR| RIGHTBRC| REQUIRES| REC| RAISES| QUOTE_LIDENT of string| QUESTION| PURE| PREDICATE| OR| OPPREF of string| OP4 of string| OP3 of string| OP2 of string| OP1 of string| OLD| NOT| MUTABLE| MODIFIES| MODEL| MATCH| LTGT| LRARROW| LIDENT of string| LET| LEFTSQRIGHTSQ| LEFTSQ| LEFTPAR| LEFTBRCRIGHTBRC| LEFTBRCCOLON| LEFTBRC| INVARIANT| INTEGER of string * char option| IN| IF| FUNCTION| FUN| FORALL| FLOAT of string| FALSE| EXISTS| EQUIVALENT| EQUAL| EPHEMERAL| EOF| ENSURES| ELSE| DOTDOT| DOT| DIVERGES| CONSUMES| COMMA| COLONRIGHTBRC| COLONCOLON| COLON| COERCION| CHECKS| CHAR of char| BARBAR| BAR| BACKQUOTE_LIDENT of string| AXIOM| ATTRIBUTE of string| AS| ARROW| AND| AMPAMPval val_spec :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Uast.val_specval type_spec :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Uast.type_specval func_spec :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Uast.fun_specval func :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Uast.function_val axiom :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
Uast.axiom