Module type LogtkInterfaces.ITER

module type ITER = sig .. end

type 'a t 
val to_seq : 'a t -> 'a Sequence.t
val of_seq : ?init:'a t -> 'a Sequence.t -> 'a t
val to_list : 'a t -> 'a list
val of_list : ?init:'a t -> 'a list -> 'a t