package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | VLINE
  3. | UPPER_WORD of string
  4. | TPI
  5. | THF
  6. | TFF
  7. | STAR
  8. | SINGLE_QUOTED of string
  9. | SIGMA
  10. | RIGHT_PAREN
  11. | RIGHT_BRACKET
  12. | REAL of string
  13. | RATIONAL of string
  14. | PLUS
  15. | PI
  16. | NOT_EQUAL
  17. | NOTVLINE
  18. | NOTAND
  19. | NOT
  20. | LOWER_WORD of string
  21. | LET_TT
  22. | LET_TF
  23. | LET_FT
  24. | LET_FF
  25. | LESS
  26. | LEFT_PAREN
  27. | LEFT_IMPLY
  28. | LEFT_BRACKET
  29. | LAMBDA
  30. | ITE_T
  31. | ITE_F
  32. | INTEGER of string
  33. | INDEFINITE_DESCRIPTION
  34. | INCLUDE
  35. | IMPLY
  36. | GENTZEN_ARROW
  37. | FORALL_TY
  38. | FORALL
  39. | FOF
  40. | EXISTS_TY
  41. | EXISTS
  42. | EQUIV
  43. | EQUAL
  44. | EOF
  45. | DOT
  46. | DOLLAR_WORD of string
  47. | DOLLAR_THF
  48. | DOLLAR_TFF
  49. | DOLLAR_FOT
  50. | DOLLAR_FOF
  51. | DOLLAR_DOLLAR_WORD of string
  52. | DOLLAR_CNF
  53. | DISTINCT_OBJECT of string
  54. | DEFINITE_DESCRIPTION
  55. | COMMA
  56. | COLON
  57. | CNF
  58. | ARROW
  59. | APPLY
  60. | AND
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