package elpi

  1. Overview
  2. Docs
type token =
  1. | VDASH
  2. | USE_SIG
  3. | USEONLY
  4. | TYPEABBREV
  5. | TYPE
  6. | STRING of string
  7. | SLASH
  8. | SIGMA
  9. | SIG
  10. | SHORTEN
  11. | RULE
  12. | RPAREN
  13. | RCURLY
  14. | RBRACKET
  15. | QUOTED of string
  16. | QDASH
  17. | PRED
  18. | PIPE
  19. | PI
  20. | OR
  21. | NIL
  22. | NAMESPACE
  23. | NAME
  24. | MODULE
  25. | MODE
  26. | MOD
  27. | MINUSs
  28. | MINUSr
  29. | MINUSi
  30. | MINUS
  31. | MACRO
  32. | LPAREN
  33. | LOCALKIND
  34. | LOCAL
  35. | LCURLY
  36. | LBRACKET
  37. | KIND
  38. | IS
  39. | IO_COLON of char
  40. | IO of char
  41. | INTEGER of int
  42. | INDEX
  43. | IMPORT
  44. | IFF
  45. | IF
  46. | FULLSTOP
  47. | FRESHUV
  48. | FLOAT of float
  49. | FIXITY of string
  50. | FAMILY_TIMES of string
  51. | FAMILY_TILDE of string
  52. | FAMILY_TICK of string
  53. | FAMILY_SHARP of string
  54. | FAMILY_QMARK of string
  55. | FAMILY_PLUS of string
  56. | FAMILY_OR of string
  57. | FAMILY_MINUS of string
  58. | FAMILY_LT of string
  59. | FAMILY_GT of string
  60. | FAMILY_EXP of string
  61. | FAMILY_EQ of string
  62. | FAMILY_BTICK of string
  63. | FAMILY_AND of string
  64. | EXTERNAL
  65. | EXPORTDEF
  66. | EQ2
  67. | EQ
  68. | EOF
  69. | DIV
  70. | DARROW
  71. | CUT
  72. | CONSTRAINT
  73. | CONSTANT of string
  74. | CONS
  75. | CONJ2
  76. | CONJ
  77. | COLON
  78. | CLOSED
  79. | BIND
  80. | BEFORE
  81. | AS
  82. | ARROW
  83. | AFTER
  84. | ACCUM_SIG
  85. | ACCUMULATE