package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
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