Module type V1.Quickcheck_shrinker_m

include Core_kernel.Comparator.S
type t
type comparator_witness
val comparator : (tcomparator_witness) Core_kernel.Comparator.comparator
val quickcheck_shrinker : t Core_kernel.Quickcheck.Shrinker.t