sig
  val sigma : Sym.t -> Term.t list -> Term.t
  val lazy_sigma : Term.t -> Sym.t -> Term.t list -> Term.t
  val is_uninterp : Term.t -> bool
  val d_uninterp : Term.t -> Sym.t * Term.t list
  val map : (Term.t -> Term.t) -> Term.t -> Term.t
end