Of_quickcheckable1 (docs.findlib-1.core.Core.Quickcheckable.Of

Parameters

module Quickcheckable : S1

module Conv : Conv1 with type 'a quickcheckable := 'a Quickcheckable.t

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'a Conv.t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'a Conv.t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'a Conv.t Base_quickcheck.Shrinker.t