elpi.parser
Grammar.Make
elpi
elpi.lexer_config
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
module C : Parser_config.ParseFile
type token = Elpi_lexer_config.Tokens.token
exception Error of int
val program : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Program.t
val prefix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t
val postfix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t
val infix_SYMB : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Func.t
val goal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.Goal.t