Module Sek__.SupplyDefault
module SupplyDefault : functor (S : Sek__.PublicSignature.SEK) -> functor (D : sig ... end) -> sig ... end
Sek__.SupplyDefault
module SupplyDefault : functor (S : Sek__.PublicSignature.SEK) -> functor (D : sig ... end) -> sig ... end