Module type Map.Quickcheck_observer_mSource
include Core.Comparator.S
val comparator : (t, comparator_witness) Base.Comparator.comparatorval quickcheck_observer : t Core.Quickcheck.Observer.t