Module Lookup.M

Parameters

Signature

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