Module Types.Type_parser

type token =
  1. | XOR
  2. | WITH
  3. | UNION
  4. | TYPE
  5. | STRUCT
  6. | STAR
  7. | SR
  8. | SL
  9. | SEMICOLON
  10. | SELF
  11. | RPAR
  12. | RBRACKET
  13. | RBRACE
  14. | QUOTE
  15. | QUESTION_MARK
  16. | PLUS
  17. | OR
  18. | NOT
  19. | MOD
  20. | MINUS
  21. | LT
  22. | LPAR
  23. | LOR
  24. | LE
  25. | LBRACKET
  26. | LBRACE
  27. | LAND
  28. | INT of Z.t
  29. | ID of string
  30. | GT
  31. | GE
  32. | EXISTS
  33. | EQUAL
  34. | EOF
  35. | DOT
  36. | DIV
  37. | DIFF
  38. | DEF
  39. | COMMA
  40. | COLON
  41. | ARROW
  42. | 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