Module AltErgoParsers.Native_parser

type token =
  1. | XOR
  2. | WITH
  3. | VOID
  4. | UNIT
  5. | TYPE
  6. | TRUE
  7. | TIMES
  8. | THEORY
  9. | THEN
  10. | STRING of string
  11. | SLASH
  12. | SHARP
  13. | RIGHTSQ
  14. | RIGHTPAR
  15. | RIGHTBR
  16. | RIGHTARROW
  17. | REWRITING
  18. | REAL
  19. | QUOTE
  20. | QM_ID of string
  21. | QM
  22. | PV
  23. | PROP
  24. | PRED
  25. | POWDOT
  26. | POW
  27. | PLUS
  28. | PERCENT
  29. | OR
  30. | OF
  31. | NUM of AltErgoLib.Numbers.Q.t
  32. | NOTEQ
  33. | NOT
  34. | MINUS
  35. | MATCH
  36. | MAPS_TO
  37. | LT
  38. | LRARROW
  39. | LOGIC
  40. | LET
  41. | LEFTSQ
  42. | LEFTPAR
  43. | LEFTBR
  44. | LEFTARROW
  45. | LE
  46. | INTEGER of string
  47. | INT
  48. | IN
  49. | IF
  50. | ID of string
  51. | HAT
  52. | GT
  53. | GOAL
  54. | GE
  55. | FUNC
  56. | FORALL
  57. | FALSE
  58. | EXTENDS
  59. | EXISTS
  60. | EQUAL
  61. | EOF
  62. | END
  63. | ELSE
  64. | DOT
  65. | DISTINCT
  66. | CUT
  67. | COMMA
  68. | COLON
  69. | CHECK_SAT
  70. | CHECK
  71. | CASESPLIT
  72. | BOOL
  73. | BITV
  74. | BAR
  75. | AXIOM
  76. | AT
  77. | AND
  78. | AC
exception Error
val trigger_parser : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr list * bool
val lexpr_parser : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr
val file_parser : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.file