package elpi

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

Install

Dune Dependency

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

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

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

Sources

elpi-3.0.0.tbz
sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1
sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16

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