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