Key.Store_spec
module type S = sig ... end
module type Hash_keyed = sig ... end
module Hash_keyed : Hash_keyed