Module App

module App: sig  end

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