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