elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Chr
type sequent = {
eigen : Term.t;
context : Term.t;
conclusion : Term.t;
}
and 'attribute t = {
to_match : sequent list;
to_remove : sequent list;
guard : Term.t option;
new_goal : sequent option;
attributes : 'attribute;
loc : Loc.t;
}
val show_sequent : sequent -> Ppx_deriving_runtime.string