Module type Set.Quickcheck_generator_m

include Comparator.S
type t
type comparator_witness
val comparator : (tcomparator_witness) Comparator.comparator
val quickcheck_generator : t Quickcheck.Generator.t