Module Indexable.Maker_concrete_key2_of_1

Parameters

Signature

type ('h, _) key = 'h X.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