Key.Of_hash
The simplest possible Key implementation is just a hash of the corresponding value, attaching no additional metadata about the value.
Key
module H : Type.S
type t = H.t
The type for keys.
val t : t Type.t
type hash = H.t
val to_hash : t -> hash
val of_hash : hash -> t