package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.3.1.tbz
sha256=3186ebbf97d702e3cd5ebfa2aca50d9e93dd939a86c3db827dbde111656e3d5f
sha512=2ffafd7dbcaad4802fc2f076f90df36a1ce33dae1f0fa9226d45654a932a70e0a9f0627bbc703870561ad2d36a86039ad04c74393ccaf369c283eddb488525cf
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