Module type Core_kernel__Map.Quickcheck_observer_m

include Core_kernel.Comparator.S
type t
type comparator_witness
val comparator : (tcomparator_witness) Core_kernel.Comparator.comparator
val quickcheck_observer : t Core_kernel.Quickcheck.Observer.t