Module `Sek__.ShortPersistentSequence`

module Make : functor (S : Sek__.PrivateSignatures.PSEQ) -> functor (Iter : Sek__.PrivateSignatures.IITER with type 'a t = 'a S.t) -> functor (T : Sek__.PublicSettings.THRESHOLD) -> sig ... end