elpi.parser
Make.Incremental
elpi
elpi.compiler
elpi.lexer_config
elpi.runtime
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val program : Lexing.position -> Ast.Program.t MenhirInterpreter.checkpoint
val prefix_SYMB : Lexing.position -> Ast.Func.t MenhirInterpreter.checkpoint
val postfix_SYMB : Lexing.position -> Ast.Func.t MenhirInterpreter.checkpoint
val infix_SYMB : Lexing.position -> Ast.Func.t MenhirInterpreter.checkpoint
val goal : Lexing.position -> Ast.Term.t MenhirInterpreter.checkpoint