elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Type
type 'attribute t = {
loc : Loc.t;
attributes : 'attribute;
name : Func.t;
ty : Term.t;
}