package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.6.2.tbz
sha256=0431382f9a9865f68cb7ee898af34124868919e0d27f913e2b0d567ab6bf5859
sha512=7c5dec6a47a648c626c9cfc2abd36a02ec9fd34239cd6b8e672d979209005a11499a94511fab46e2d903eec64b4496697f5b5a93ae2522b2c9e0a581860a8287
doc/elpi.parser/Elpi_parser/Parse/Make/Internal/index.html
Module Make.InternalSource
Source
val infix_SYMB :
(Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
Lexing.lexbuf ->
Ast.Func.tSource
val prefix_SYMB :
(Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
Lexing.lexbuf ->
Ast.Func.tSource
val postfix_SYMB :
(Lexing.lexbuf -> Elpi_lexer_config.Tokens.token) ->
Lexing.lexbuf ->
Ast.Func.t