package elpi

  1. Overview
  2. Docs
package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 of char
  40. | INTEGER of int
  41. | INDEX
  42. | IMPORT
  43. | IFF
  44. | IF
  45. | FULLSTOP
  46. | FRESHUV
  47. | FLOAT of float
  48. | FIXITY of string
  49. | FAMILY_TIMES of string
  50. | FAMILY_TILDE of string
  51. | FAMILY_TICK of string
  52. | FAMILY_SHARP of string
  53. | FAMILY_QMARK of string
  54. | FAMILY_PLUS of string
  55. | FAMILY_OR of string
  56. | FAMILY_MINUS of string
  57. | FAMILY_LT of string
  58. | FAMILY_GT of string
  59. | FAMILY_EXP of string
  60. | FAMILY_EQ of string
  61. | FAMILY_BTICK of string
  62. | FAMILY_AND of string
  63. | EXTERNAL
  64. | EXPORTDEF
  65. | EQ2
  66. | EQ
  67. | EOF
  68. | DIV
  69. | DARROW
  70. | CUT
  71. | CONSTRAINT
  72. | CONSTANT of string
  73. | CONS
  74. | CONJ
  75. | COLON
  76. | CLOSED
  77. | BIND
  78. | BEFORE
  79. | AS
  80. | ARROW
  81. | AFTER
  82. | ACCUM_SIG
  83. | ACCUMULATE
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