include Comparator.S
val comparator : (t, comparator_witness) Comparator.comparator
val quickcheck_observer : t Quickcheck.Observer.t
Map.Quickcheck_observer_minclude Comparator.Sval comparator : (t, comparator_witness) Comparator.comparatorval quickcheck_observer : t Quickcheck.Observer.t