package alt-ergo-parsers

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct