val quickcheck_generator : Conv.t Base_quickcheck.Generator.t
val quickcheck_observer : Conv.t Base_quickcheck.Observer.t
val quickcheck_shrinker : Conv.t Base_quickcheck.Shrinker.t
Quickcheckable.Of_quickcheckable_filtered
module Quickcheckable : S
module Conv : Conv_filtered with type quickcheckable := Quickcheckable.t
val quickcheck_generator : Conv.t Base_quickcheck.Generator.t
val quickcheck_observer : Conv.t Base_quickcheck.Observer.t
val quickcheck_shrinker : Conv.t Base_quickcheck.Shrinker.t