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