Module Frontend.Grammar

type token =
  1. | ZERO
  2. | WITH
  3. | VPROJ
  4. | VISUALIZE
  5. | VIEW
  6. | V
  7. | UNFOLD
  8. | UNDERSCORE
  9. | TYPE
  10. | TOPC
  11. | TIMES
  12. | SUC
  13. | SUB
  14. | STRUCT
  15. | SND
  16. | SIG
  17. | SHADOWING
  18. | SEMISEMI
  19. | SEMI
  20. | SECTION
  21. | RSQ
  22. | RRIGHT_ARROW
  23. | RPR
  24. | RIGHT_ARROW
  25. | REPACK
  26. | RENAMING
  27. | RBR
  28. | RBANG
  29. | QUIT
  30. | PRINT
  31. | PIPE
  32. | OPEN
  33. | ON
  34. | OFF
  35. | NUMERAL of int
  36. | NORMALIZE
  37. | NAT
  38. | MEET
  39. | LSQEQUALS
  40. | LSQ
  41. | LRSQEQUALS
  42. | LPR
  43. | LOOP
  44. | LET
  45. | LESS_THAN
  46. | LEFT_ARROW
  47. | LBR
  48. | LBANG
  49. | JOIN
  50. | INCLUDE
  51. | IN
  52. | IMPORT of string list
  53. | HOLE of ConcreteSyntax.hole
  54. | HFILL
  55. | HCOM
  56. | HASH
  57. | GENERALIZE
  58. | FST
  59. | FAIL
  60. | EXT
  61. | EXPORT
  62. | EQUATION
  63. | EQUALS
  64. | EOF
  65. | END
  66. | ELIM
  67. | DOT
  68. | DIM
  69. | DEF
  70. | DEBUG
  71. | COMMA
  72. | COM
  73. | COLON_EQUALS
  74. | COLON_COLON_EQUALS
  75. | COLON_COLON
  76. | COLON
  77. | COF
  78. | COE
  79. | CIRCLE
  80. | CAP
  81. | BOUNDARY
  82. | BOTC
  83. | BEGIN
  84. | BASE
  85. | BANG
  86. | AXIOM
  87. | ATOM of string
  88. | AS
  89. | ABSTRACT
exception Error
val sign : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ConcreteSyntax.signature
val repl_command : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> ConcreteSyntax.repl_command
module MenhirInterpreter : sig ... end
module Incremental : sig ... end