Brassaia.Generic_key"Generic key" stores are Brassaia stores in which the backend may not be keyed directly by the hashes of stored values. See Key for more details.
module type S = Store_intf.S_generic_keymodule type KV = Store_intf.KV_generic_keymodule type Maker = Store_intf.Maker_generic_keymodule type KV_maker = Store_intf.KV_maker_generic_keymodule type Maker_args = sig ... endmodule Maker
(X : Maker_args) :
Maker
with type ('h, 'v) contents_key = ('h, 'v) X.Contents_store.key
and type 'h node_key = 'h X.Node_store.key
and type 'h commit_key = 'h X.Commit_store.key