elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Term
type t =
| Const of Func.t
| App of t * t list
| Lam of Func.t * t
| CData of Elpi_util.Util.CData.t
| Quoted of quote
and quote = {
data : string;
loc : Loc.t;
kind : string option;
}
exception NotInProlog of Loc.t * string
val mkApp : Loc.t -> t list -> t
val mkAppF : Loc.t -> Func.t -> t list -> t
val mkCon : string -> t
val mkNil : t
val mkSeq : t list -> t
val mkQuoted : Loc.t -> string -> t
val mkFreshUVar : unit -> t
val mkFreshName : unit -> t
val mkLam : string -> t -> t