Module Parser.Make

Parameters

module M : PAst.ParserExt

Signature

type token =
  1. | WITH
  2. | WHILE
  3. | WHERE
  4. | VAL
  5. | TYPE
  6. | TVAR_WEAK of string
  7. | TVAR of string
  8. | TL
  9. | TIMES
  10. | THEN
  11. | SUGGEST
  12. | SND
  13. | SEMICOLON
  14. | RVAR_WEAK of string
  15. | RVAR of string
  16. | RPAREN
  17. | RETURN
  18. | RBRACKET
  19. | RBRACE
  20. | PREFIX of string
  21. | POINT
  22. | PLUS
  23. | PLACEHOLDER_VAR
  24. | PCID of string
  25. | OR_KW
  26. | OR
  27. | OPID of string
  28. | NEG
  29. | MUT
  30. | MINUS
  31. | MATCH
  32. | LT
  33. | LSTRING of string
  34. | LPAREN
  35. | LINT of Z.t
  36. | LFLOAT of float
  37. | LET
  38. | LCHAR of char
  39. | LBRACKET
  40. | LBRACE
  41. | LBOOL of bool
  42. | IS
  43. | IRPAREN
  44. | INTERROGATION_MARK
  45. | INFIX of string
  46. | INDEXED of string
  47. | IN
  48. | IID of string
  49. | IF
  50. | ID of string
  51. | HD
  52. | HASHTAG
  53. | GT
  54. | FUN
  55. | FST
  56. | EXT of string
  57. | EXCLAMATION_MARK
  58. | EQUAL
  59. | EOF
  60. | END
  61. | ELSE
  62. | DYN
  63. | DOUBLESEMICOLON
  64. | DOUBLEPOINT
  65. | DO
  66. | DIV
  67. | DIFF
  68. | CONTINUE
  69. | CONS
  70. | COMMA
  71. | COLON
  72. | COERCE_STATIC
  73. | COERCE_NOCHECK
  74. | COERCE
  75. | CID of string
  76. | CAST_STATIC
  77. | CAST_NOCHECK
  78. | BREAK
  79. | BEGIN
  80. | ASSIGN
  81. | ARROW
  82. | AND_KW
  83. | AND
  84. | ABSTRACT
exception Error
val unique_term : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> M.E.pexpr
val program : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> M.E.program