package elpi

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

Install 

dune-project
 Dependency

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

Authors

  1. C
    Claudio Sacerdoti Coen
  2. E
    Enrico Tassi

Maintainers

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

Sources

elpi-3.7.1.tbz
sha256=0109f44fd6c08f5eed01c559765dcf4e3e2b8b47c25d026f0153757459f5f466
sha512=62fb7bce9d8d0505458b9686a9ab112f4f988ab6e2051bb623d53308f175abd72ed74c8962e5469380ec989b80c58a77b31c8bbfb7e8b2b60953b11b436f6647

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. | NOOC
  27. | NIL
  28. | NAMESPACE
  29. | NAME
  30. | MODULE
  31. | MOD
  32. | MINUSs
  33. | MINUSr
  34. | MINUSi
  35. | MINUS
  36. | MACRO
  37. | LPAREN
  38. | LOCALKIND
  39. | LOCAL
  40. | LCURLY
  41. | LBRACKET
  42. | KIND
  43. | IS
  44. | IO_COLON of char
  45. | IO of char
  46. | INTEGER of int
  47. | INDEX
  48. | IMPORT
  49. | IFF
  50. | IF
  51. | FUNCTIONAL
  52. | FUNC
  53. | FULLSTOP
  54. | FRESHUV
  55. | FLOAT of float
  56. | FIXITY of string
  57. | FAMILY_TIMES of string
  58. | FAMILY_TILDE of string
  59. | FAMILY_TICK of string
  60. | FAMILY_SHARP of string
  61. | FAMILY_QMARK of string
  62. | FAMILY_PLUS of string
  63. | FAMILY_OR of string
  64. | FAMILY_MINUS of string
  65. | FAMILY_LT of string
  66. | FAMILY_GT of string
  67. | FAMILY_EXP of string
  68. | FAMILY_EQ of string
  69. | FAMILY_BTICK of string
  70. | FAMILY_AND of string
  71. | EXTERNAL
  72. | EXPORTDEF
  73. | EQ2
  74. | EQ
  75. | EOF
  76. | DOTS
  77. | DIV
  78. | DDARROWBANG
  79. | DDARROW
  80. | DARROW
  81. | CUT
  82. | CONSTRAINT
  83. | CONSTANT of string
  84. | CONS
  85. | CONJ2
  86. | CONJ
  87. | COLON
  88. | CLOSED
  89. | BIND
  90. | BEFORE
  91. | AS
  92. | ARROW
  93. | AFTER
  94. | ACCUM_SIG
  95. | ACCUMULATE