Module Iterator.Next

type 'a t
val done_ : _ t -> bool option
val value : 'a t -> 'a option