package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.7.3.tbz
sha256=6c68078b96d4c179734d829b25aad06c36e7fabd1c6385d2d6c0074a5112f7b9
sha512=761415b8a54ae8ebea0f387e531c4872116cac8406e467e2cde959821c497849558990870d88de673a5890e43cc712d475a1afcbdef0c2303e1d8210927aa967
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