Parameter Key.V

type ('a, 'b) t

The type for the key value that depends on 'a and 'b.