type token
=
| XOR |
| WITH |
| WHEN |
| WEAKLY |
| VAR |
| UNTIL |
| UNLESS |
| UINT8 |
| UINT64 |
| UINT32 |
| UINT16 |
| TYPE |
| TRUE |
| THEN |
| TEL |
| SYM of string |
| SUBRANGE |
| STRUCT |
| STRING of string |
| STATE |
| SSBLOCKEND |
| SEMICOLON |
| RSQBRACKET |
| RSH |
| RPAREN |
| RPARAMBRACKET |
| RETURNS |
| RESUME |
| RESTART |
| REQUIRE |
| REAL |
| RCURLYBRACKET |
| QUOTSYM of string |
| PSBLOCKEND |
| PROPERTY_SSBLOCKSTART |
| PROPERTY_PSBLOCKSTART |
| PROPERTY_ANNOT |
| PRE |
| PLUS |
| PIPE |
| OR |
| OF |
| NUMERAL of string |
| NOT |
| NODE |
| NEQ |
| MULT |
| MODE |
| MOD |
| MINUS |
| MERGE |
| MAIN_SSBLOCKSTART |
| MAIN_P_ANNOT |
| MAIN_PSBLOCKSTART |
| MAIN_B_ANNOT |
| LTE |
| LT |
| LSQBRACKET |
| LSH |
| LPAREN |
| LPARAMBRACKET |
| LET |
| LCURLYBRACKET |
| LAST |
| INTDIV |
| INT8 |
| INT64 |
| INT32 |
| INT16 |
| INT |
| INITIAL |
| IMPORTED |
| IMPORTCONTRACT |
| IMPL |
| IF |
| HASH |
| GUARANTEE |
| GTE |
| GT |
| FUNCTION |
| FORALL |
| FBY |
| FALSE |
| EXISTS |
| EVERY |
| EQUALS |
| EOF |
| ENUM |
| ENSURE |
| END |
| ELSIF |
| ELSE |
| DOTPERCENT |
| DOTDOT |
| DOT |
| DIV |
| DEFAULT |
| DECIMAL of string |
| CURRENT |
| CONTRACT_SSATBLOCK |
| CONTRACT_PSATBLOCK |
| CONTRACT |
| CONST |
| CONDACT |
| COMMA |
| COLON |
| CHECK |
| CARET |
| BVOR |
| BVNOT |
| BVAND |
| BOOL |
| AUTOMATON |
| ASSUME |
| ASSERT |
| ARROW |
| AND |
| ACTIVATE |
exception
Error
val one_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> LustreAst.expr
val main : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> LustreAst.t