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