include Comparator.S
val comparator : (t, comparator_witness) Comparator.comparator
val quickcheck_observer : t Quickcheck.Observer.t
For_deriving.Quickcheck_observer_m
include Comparator.S
val comparator : (t, comparator_witness) Comparator.comparator
val quickcheck_observer : t Quickcheck.Observer.t