package elpi

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

Install 

dune-project
 Dependency

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

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