Module type `V1.Quickcheck_shrinker_m`Source

include Core.Comparator.S

type t

type comparator_witness

val comparator : (t, comparator_witness) Base.Comparator.comparator

val quickcheck_shrinker : t Core.Quickcheck.Shrinker.t