Types.Type_parser
type token =
| XOR
| WITH
| UNION
| TYPE
| STRUCT
| STAR
| SR
| SL
| SEMICOLON
| SELF
| RPAR
| RBRACKET
| RBRACE
| QUOTE
| QUESTION_MARK
| PLUS
| OR
| NOT
| MOD
| MINUS
| LT
| LPAR
| LOR
| LE
| LBRACKET
| LBRACE
| LAND
| INT of Z.t
| ID of string
| GT
| GE
| EXISTS
| EQUAL
| EOF
| DOT
| DIV
| DIFF
| DEF
| COMMA
| COLON
| ARROW
| AND
exception Error
val core_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Type_parse_tree.typ
val annotations_eof : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> (string * Type_parse_tree.t) list