elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Clause
type ('term, 'attributes) t = {
loc : Loc.t;
attributes : 'attributes;
body : 'term;
}