Module `Sek__.Iterator`

module Make : functor (SChunk : Sek__.PrivateSignatures.SCHUNK) -> functor (M : sig ... end) -> functor (S : sig ... end) -> functor (I : Sek__.PrivateSignatures.WITER with type 'a measure = 'a SChunk.measure and type 'a t = 'a M.t) -> Sek__.PrivateSignatures.WITER with type 'a measure = 'a SChunk.measure and type 'a t = 'a S.t