Module Map.Key
type t= IStdlib.IStd.Int.t
type comparator_witness= Core_kernel__Map.Make(IStdlib.IStd.Int).Key.comparator_witness
val comparator : (t, comparator_witness) Core_kernel__.Comparator.comparator
Map.Keytype t = IStdlib.IStd.Int.ttype comparator_witness = Core_kernel__Map.Make(IStdlib.IStd.Int).Key.comparator_witnessval comparator : (t, comparator_witness) Core_kernel__.Comparator.comparator