module type S = sig ... endmodule Make : functor (Hash : sig ... end) -> functor (Inflate : sig ... end) -> functor (HDec : Unpack.H with module Hash := Hash) -> functor (PDec : Unpack.P with module Hash := Hash and module Inflate := Inflate and module Hunk := HDec) -> S with module Hash := Hash and module Inflate := Inflate and module HDec := HDec and module PDec := PDec