Module type For_deriving.Quickcheck_shrinker_m
include Core.Comparator.S
val comparator : (t, comparator_witness) Base.Comparator.comparatorval quickcheck_shrinker : t Core.Quickcheck.Shrinker.t