package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WILDCARD
  2. | VERTICAL_BAR
  3. | VAL
  4. | UPPER_WORD of string
  5. | TYPE
  6. | RIGHT_PAREN
  7. | RIGHT_BRACKET
  8. | REWRITE
  9. | PROP
  10. | PI
  11. | LOWER_WORD of string
  12. | LOGIC_TRUE
  13. | LOGIC_OR
  14. | LOGIC_NOT
  15. | LOGIC_NEQ
  16. | LOGIC_IMPLY
  17. | LOGIC_FORALL
  18. | LOGIC_FALSE
  19. | LOGIC_EXISTS
  20. | LOGIC_EQUIV
  21. | LOGIC_EQ
  22. | LOGIC_AND
  23. | LEFT_PAREN
  24. | LEFT_BRACKET
  25. | GOAL
  26. | EQDEF
  27. | EOF
  28. | DOT
  29. | DEF
  30. | DATA
  31. | COLON
  32. | ASSERT
  33. | ARROW
  34. | 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