package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Statement.SeqSource

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