elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Program
type decl =
| Begin of Loc.t
| Namespace of Loc.t * Func.t
| Constraint of Loc.t * Func.t list
| Shorten of Loc.t * (Func.t * Func.t) list
| End of Loc.t
| Accumulated of Loc.t * (Elpi_util.Util.Digest.t * decl list) list
| Clause of ( Term.t, raw_attribute list ) Clause.t
| Local of Func.t list
| Mode of Func.t Mode.t list
| Chr of raw_attribute list Chr.t
| Macro of ( Func.t, Term.t ) Macro.t
| Type of raw_attribute list Type.t list
| Pred of raw_attribute list Type.t * Func.t Mode.t
| TypeAbbreviation of Func.t TypeAbbreviation.t
| Ignored of Loc.t
val mkLocal : string list -> decl
type t = decl list