Module S.Seq
val lits : t -> Logtk.Literal.t Iter.tval terms : t -> Logtk.Term.t Iter.tval vars : t -> Logtk.Type.t Logtk.HVar.t Iter.t
S.Seqval lits : t -> Logtk.Literal.t Iter.tval terms : t -> Logtk.Term.t Iter.tval vars : t -> Logtk.Type.t Logtk.HVar.t Iter.t