Irmin_pack_unix.Pack_valueinclude module type of struct include Irmin_pack.Pack_value endmodule Kind = Irmin_pack.Pack_value.Kindkinded is an extenisble variant that each S extends so that it can define S.to_kinded and S.of_kinded. Its purpose is to allow containers, such as Irmin_pack_unix.Lru, to store and return all types of S and thus be usable by modules defined over S, such as Irmin_pack_unix.Pack_store.
module type S = Irmin_pack.Pack_value.Smodule type Config = Irmin_pack.Pack_value.Configmodule Of_contents = Irmin_pack.Pack_value.Of_contentsmodule Of_commit = Irmin_pack.Pack_value.Of_commitmodule type Persistent = sig ... end