package elpi

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

Install 

dune-project
 Dependency

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

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

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

Sources

elpi-2.0.6.tbz
sha256=b515185d0674557ae3219059d6c91dce2794b30c38ad23447b98a4fa22a99375
sha512=48490035f8dc103de9c0f2bf4e3a3ea6db2bda8670efe87bc2402a3b47e5c510452a5ae406be65a83fe16dd410c374894142bbee477681e50fc0dde4b8153d3c

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