Module Ccalgo.ATermSource

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