elpi

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