package core_kernel
Module Map.Key
type t = T.tinclude Comparator.S
with type t := t
with type comparator_witness = comparator_witness
type comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base.Comparator.comparator