Module type Indexable.Maker_concrete_key2

type ('h, 'v) key
module Key (Hash : Hash.S) (Value : Type.S) : Key.S with type t = (Hash.t, Value.t) key and type hash = Hash.t
module Make (Hash : Hash.S) (Value : Type.S) : sig ... end