Module type For_deriving.Quickcheck_observer_m
include Core.Comparator.S
val comparator : (t, comparator_witness) Base.Comparator.comparatorval quickcheck_observer : t Core.Quickcheck.Observer.t