sig
val e_true : 'a Fol.d_term
val e_false : 'a Fol.d_term
val e_int : int -> 'a Fol.d_term
val e_int64 : int64 -> 'a Fol.d_term
val e_float : float -> 'a Fol.d_term
val e_icst : string -> 'a Fol.d_term
val e_rcst : string -> 'a Fol.d_term
val wrap : 'a -> 'a
val unwrap : 'a -> 'a
val e_call : string -> 'a Fol.d_term list -> 'a Fol.d_term
val p_call : string -> 'a Fol.d_term list -> 'a Fol.d_pred
end