module type S = sig ... endmodule Make : functor (H : sig ... end) -> functor (FS : sig ... end) -> functor (I : sig ... end) -> functor (D : sig ... end) -> S with module Hash := H and module Inflate := I and module Deflate := D and module FS = FS and module Blob = Blob.Make(H) and module Commit = Commit.Make(H) and module Tree = Tree.Make(H) and module Tag = Tag.Make(H) and type t = Value.Make(H)(I)(D).t