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. | PLUS
  26. | PERCENT
  27. | OR
  28. | OF
  29. | NUM of Num.num
  30. | NOTEQ
  31. | NOT
  32. | MINUS
  33. | MATCH
  34. | MAPS_TO
  35. | LT
  36. | LRARROW
  37. | LOGIC
  38. | LET
  39. | LEFTSQ
  40. | LEFTPAR
  41. | LEFTBR
  42. | LEFTARROW
  43. | LE
  44. | INTEGER of string
  45. | INT
  46. | IN
  47. | IF
  48. | ID of string
  49. | HAT
  50. | GT
  51. | GOAL
  52. | GE
  53. | FUNC
  54. | FORALL
  55. | FALSE
  56. | EXTENDS
  57. | EXISTS
  58. | EQUAL
  59. | EOF
  60. | END
  61. | ELSE
  62. | DOT
  63. | DISTINCT
  64. | CUT
  65. | COMMA
  66. | COLON
  67. | CHECK
  68. | CASESPLIT
  69. | BOOL
  70. | BITV
  71. | BAR
  72. | AXIOM
  73. | AT
  74. | AND
  75. | 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