Key.Store_spec
module type S = Key_intf.Store_spec.S
module type Hash_keyed = Key_intf.Store_spec.Hash_keyed
module Hash_keyed : Hash_keyed