package minicaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type token = | UNIT| TRUE| TIMES| THEN| SYMBOL of string| STRING of string| SEMISEMI| SEMI| RSQUARE| RPAREN| REC| RBRACKET| PLUS| PIPE| OR| NOT| MINUS| LSQUARE| LPAREN| LET| LESSEQUAL| LESS| LBRACKET| LAZY| LARROW| LAND| LAMBDA| INTEGER of int| IN| IF| GREATEREQUAL| GREATER| FALSE| EQUAL| EOF| ELSE| CONS| COMMA| COLON| AND
val toplevel : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.exprval file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.command list