package elpi

  1. Overview
  2. Docs
ELPI - Embeddable λProlog Interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (9)

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

  1. E
    Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-1.18.2.tbz
sha256=bac398ba41d0fe1e1807196162b024313563366f7b86ae0802b23d6ef0f3cbf9
sha512=e9e9e14adf6ef929cd28516ddffdc67faafc7dbe683dce42818329fedc9d1a22992333d8948cb427fec5f5e442d9440c0f450d81a76c9c1e87050c434441cd74

doc/elpi.lexer_config/Elpi_lexer_config/Tokens/index.html

Module Elpi_lexer_config.TokensSource

Sourcetype 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. | REPLACE
  14. | RCURLY
  15. | RBRACKET
  16. | QUOTED of string
  17. | QDASH
  18. | PRED
  19. | PIPE
  20. | PI
  21. | OR
  22. | NIL
  23. | NAMESPACE
  24. | NAME
  25. | MODULE
  26. | MODE
  27. | MOD
  28. | MINUSs
  29. | MINUSr
  30. | MINUSi
  31. | MINUS
  32. | MACRO
  33. | LPAREN
  34. | LOCALKIND
  35. | LOCAL
  36. | LCURLY
  37. | LBRACKET
  38. | KIND
  39. | IS
  40. | IO_COLON of char
  41. | IO of char
  42. | INTEGER of int
  43. | INDEX
  44. | IMPORT
  45. | IFF
  46. | IF
  47. | FULLSTOP
  48. | FRESHUV
  49. | FLOAT of float
  50. | FIXITY of string
  51. | FAMILY_TIMES of string
  52. | FAMILY_TILDE of string
  53. | FAMILY_TICK of string
  54. | FAMILY_SHARP of string
  55. | FAMILY_QMARK of string
  56. | FAMILY_PLUS of string
  57. | FAMILY_OR of string
  58. | FAMILY_MINUS of string
  59. | FAMILY_LT of string
  60. | FAMILY_GT of string
  61. | FAMILY_EXP of string
  62. | FAMILY_EQ of string
  63. | FAMILY_BTICK of string
  64. | FAMILY_AND of string
  65. | EXTERNAL
  66. | EXPORTDEF
  67. | EQ2
  68. | EQ
  69. | EOF
  70. | DIV
  71. | DARROW
  72. | CUT
  73. | CONSTRAINT
  74. | CONSTANT of string
  75. | CONS
  76. | CONJ2
  77. | CONJ
  78. | COLON
  79. | CLOSED
  80. | BIND
  81. | BEFORE
  82. | AS
  83. | ARROW
  84. | AFTER
  85. | ACCUM_SIG
  86. | 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