elpi.parser
Ast.Term
elpi
elpi.lexer_config
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
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;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val pp_quote : Ppx_deriving_runtime.Format.formatter -> quote -> Ppx_deriving_runtime.unit
val show_quote : quote -> Ppx_deriving_runtime.string
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
val mkC : Elpi_util.Util.CData.t -> t