Module Lookup.M

A convenient way to refer to the type for a given key.

Parameters

Signature

type nonrec 'v t = (K.t'vK.comparator_witness) t