Ccalgo.ATerm
type t
val mkSymb : Constr.constr -> t
val mkProduct : (Sorts.t * Sorts.t) -> t
val mkAppli : (t * t) -> t
val mkConstructor : cinfo -> t
val constr : t -> Constr.constr
val nth_arg : t -> int -> t