Module `Ccalgo.ATerm`

type t

val proj : t -> t term
val make : t term -> t
val mkSymb : Constr.constr -> t
val mkProduct : (Sorts.t * Sorts.t) -> t
val mkEps : Names.Id.t -> t
val mkAppli : (t * t) -> t
val mkConstructor : cinfo -> t
val equal : t -> t -> bool
val constr : t -> Constr.constr
val hash : t -> int
val nth_arg : t -> int -> t