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-1.17.4.tbz
sha256=e968c86e4ec474b896a2099547e6fa16f4b3ed33448bb571d4b348d92c3c70fb
sha512=5ea196cca5f15eadc36d83b2c894229218b25c9267da5c02f75510a27a8d13ca6ba072c7b0ef8138ac92aa03489d1cf77d270867daa7e25597ccd79d9e6d840c

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