Module Sek__.UnitWeightIterator

module Make : functor (SChunk : Sek__.PrivateSignatures.SCHUNK) -> functor (I : Sek__.PrivateSignatures.WITER with type 'a measure = 'a SChunk.measure) -> Sek__.PrivateSignatures.IITER with type 'a t = 'a I.t and type 'a iter = 'a I.iter