logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Statement . Seq
val to_seq : ( '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