package elpi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Const of Func.t
  2. | App of t * t list
  3. | Lam of Func.t * t
  4. | CData of Elpi_util.Util.CData.t
  5. | Quoted of quote
and quote = {
  1. data : string;
  2. loc : Loc.t;
  3. 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