Module 1-C.Seq
val lits : t -> Logtk.Literal.t Sequence.tval terms : t -> Logtk.Term.t Sequence.tval vars : t -> Logtk.Type.t Logtk.HVar.t Sequence.t
1-C.Seqval lits : t -> Logtk.Literal.t Sequence.tval terms : t -> Logtk.Term.t Sequence.tval vars : t -> Logtk.Type.t Logtk.HVar.t Sequence.t