Module `Statement.Seq`

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