val quickcheck_generator : Conv.t Base_quickcheck.Generator.tval quickcheck_observer : Conv.t Base_quickcheck.Observer.tval quickcheck_shrinker : Conv.t Base_quickcheck.Shrinker.t
Quickcheckable.Of_quickcheckablemodule Quickcheckable : Smodule Conv : Conv with type quickcheckable := Quickcheckable.tval quickcheck_generator : Conv.t Base_quickcheck.Generator.tval quickcheck_observer : Conv.t Base_quickcheck.Observer.tval quickcheck_shrinker : Conv.t Base_quickcheck.Shrinker.t