type t
= T.Map.Key.t
type comparator_witness
= T.Map.Key.comparator_witness
val comparator : (t, comparator_witness) Core_kernel.Comparator.comparator