Key_intf.Store_spec
module type S = sig ... end
module type Hash_keyed = S with type ('h, _) contents_key = 'h and type 'h node_key = 'h and type 'h commit_key = 'h
module Hash_keyed : Hash_keyed