Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type token =
| SEMI
| COMMA
| ARROW
| LPAREN
| RPAREN
| LBRACKET
| RBRACKET
| NUM of int
| TRUE
| FALSE
| ID of string
| INTTYPE
| BOOLTYPE
| STAR
| LIST
| PLUS
| MINUS
| MULTIPLY
| DIVIDE
| MOD
| CARET
| ISNIL
| HEAD
| TAIL
| NIL
| CONS
| IF
| THEN
| ELSE
| AND
| OR
| NOT
| EQ
| LT
| LE
| CMPEQ
| NE
| NEALT
| GE
| GT
| LET
| IN
| COLON
| FUN
| PI
| DOT
| EOF
val input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Ast.term