logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module type Logtk . Interfaces . ITER
type 'a t
val to_seq : 'a t -> 'a Iter.t
val of_seq : ?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