type token = | UNIT |
| TOPOWER |
| TIMES |
| THEN |
| SYMBOL of string |
| STRING of string |
| SEMI |
| RSQUARE |
| RPAREN |
| RBRACKET |
| PURE |
| PLUS |
| PIPE |
| OR |
| NOT |
| MINUS |
| LSQUARE |
| LPAREN |
| LET |
| LESSEQUAL |
| LESS |
| LBRACKET |
| LAZY |
| LARROW |
| LAND |
| LAMBDA |
| INTEGER of int |
| IN |
| IMPURE |
| IF |
| GREATEREQUAL |
| GREATER |
| FLOAT of float |
| EQUAL |
| EOF |
| ELSE |
| DOLLAR |
| DIV |
| DIRECTIVE of string |
| DIFFER |
| CPLUS |
| CONS |
| CONCAT |
| COMPOSE |
| COMMA |
| COLON |
| CMIN |
| BOOLEAN of bool |
| BIND |
| ATSIGN |
| AND |
exception Error
val toplevel : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Types.command list