package lpi

  1. Overview
  2. Docs
type token =
  1. | SEMI
  2. | COMMA
  3. | ARROW
  4. | LPAREN
  5. | RPAREN
  6. | LBRACKET
  7. | RBRACKET
  8. | NUM of int
  9. | TRUE
  10. | FALSE
  11. | ID of string
  12. | INTTYPE
  13. | BOOLTYPE
  14. | STAR
  15. | LIST
  16. | PLUS
  17. | MINUS
  18. | MULTIPLY
  19. | DIVIDE
  20. | MOD
  21. | CARET
  22. | ISNIL
  23. | HEAD
  24. | TAIL
  25. | NIL
  26. | CONS
  27. | IF
  28. | THEN
  29. | ELSE
  30. | AND
  31. | OR
  32. | NOT
  33. | EQ
  34. | LT
  35. | LE
  36. | CMPEQ
  37. | NE
  38. | NEALT
  39. | GE
  40. | GT
  41. | LET
  42. | IN
  43. | COLON
  44. | FUN
  45. | PI
  46. | DOT
  47. | EOF
val input : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast.Ast.term