include Comparator.S
val comparator : (t, comparator_witness) Comparator.comparator
val quickcheck_shrinker : t Quickcheck.Shrinker.t
Map.Quickcheck_shrinker_minclude Comparator.Sval comparator : (t, comparator_witness) Comparator.comparatorval quickcheck_shrinker : t Quickcheck.Shrinker.t