Module `Statement.Seq`

val to_iter : ('f, 't, 'ty) t -> [ `Term of 't | `Form of 'f | `Ty of 'ty | `ID of ID.t ] Iter.t
val ty_decls : (_, _, 'ty) t -> (ID.t * 'ty) Iter.t
val forms : ('f, _, _) t -> 'f Iter.t
val lits : (clause, _, _) t -> Term.t SLiteral.t Iter.t
val terms : (clause, Term.t, _) t -> Term.t Iter.t
val symbols : (clause, Term.t, Type.t) t -> ID.t Iter.t