type token = | WITH |
| VERIF_NUMBER |
| VERIFY |
| VERIFICATION |
| VERIFIABLE |
| VARIABLE |
| UNDEFINED |
| TYPE |
| TIMES |
| THEN |
| TEMPORARY |
| TARGET |
| TABLE |
| SYMBOL of string |
| STRING of string |
| SPECIALIZE |
| SIZE |
| SEMICOLON |
| RULE |
| RPAREN |
| RESTORE |
| REAL |
| RBRACKET |
| RANGE |
| RAISE_ERROR |
| PRINT_ERR |
| PRINT |
| PLUS |
| OUTPUT |
| OR |
| ONE |
| NOT |
| NEQ |
| NB_INFORMATIVES |
| NB_DISCORDANCES |
| NB_CATEGORY |
| NB_BLOCKING |
| NB_ANOMALIES |
| NAME |
| MINUS |
| LTE |
| LT |
| LPAREN |
| LBRACKET |
| ITERATE |
| INTEGER |
| INPUT |
| INFORMATIVE |
| INDENT |
| IN |
| IF |
| GTE |
| GT |
| GIVEN_BACK |
| FOR |
| FONCTION |
| FINALIZE_ERRORS |
| EXPORT_ERRORS |
| ERROR |
| EQUALS |
| EOF |
| ENDIF |
| ELSEIF |
| ELSE |
| DOMAIN |
| DIV |
| DISCORDANCE |
| DATE_YEAR |
| DATE_MONTH |
| DATE_DAY_MONTH_YEAR |
| CONST |
| COMPUTED |
| COMPUTE |
| COMPUTABLE |
| COMPL_NUMBER |
| COMMA |
| COLON |
| CLEAN_ERRORS |
| CHAINING |
| CATEGORY |
| BY_DEFAULT |
| BOOLEAN |
| BASE |
| AUTHORIZE |
| ATTRIBUT |
| APPLICATION |
| ANOMALY |
| AND |
| ALIAS |
| AFTER |