Module C.Seq

val lits : t -> Logtk.Literal.t Iter.t
val terms : t -> Logtk.Term.t Iter.t
val vars : t -> Logtk.Type.t Logtk.HVar.t Iter.t