logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module type Logtk . Interfaces . ITER
type 'a t
val to_iter : 'a t -> 'a Iter.t
val of_iter : ?init:'a t -> 'a Iter.t -> 'a t
val to_list : 'a t -> 'a list
val of_list : ?init:'a t -> 'a list -> 'a t