Of_quickcheckable1.Conv
type 'a t
val of_quickcheckable : 'a Quickcheckable.t -> 'a t
val to_quickcheckable : 'a t -> 'a Quickcheckable.t