type token = | VERIFICATION |
| VARIABLE |
| TYPE |
| TIMES |
| THEN |
| TABLE |
| SYMBOL of string |
| STRING of string |
| SPECIALIZE |
| SEMICOLON |
| RULE |
| RPAREN |
| REAL |
| RBRACKET |
| RANGE |
| PLUS |
| PARAMETER of char |
| OUTPUT |
| OR |
| ONE |
| NOTIN |
| NOT |
| NEQ |
| MINUS |
| LTE |
| LT |
| LPAREN |
| LBRACKET |
| INTEGER |
| INPUT |
| INFORMATIVE |
| IN |
| IF |
| GTE |
| GT |
| GIVEN_BACK |
| FOR |
| FONCTION |
| ERROR |
| EQUALS |
| EOF |
| ENDIF |
| ELSE |
| DOMAIN |
| DIV |
| DISCORDANCE |
| DATE_YEAR |
| DATE_MONTH |
| DATE_DAY_MONTH_YEAR |
| CONST |
| CONDITION |
| COMPUTED |
| COMPUTABLE |
| COMMA |
| COLON |
| CHAINING |
| BY_DEFAULT |
| BOOLEAN |
| BASE |
| AUTHORIZE |
| ATTRIBUT |
| APPLICATION |
| ANOMALY |
| AND |
| ALIAS |
exception Error
val source_file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Mast.source_fileval literal_input : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Mast.literalval function_spec : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Mast.function_spec