Parameter Of_quickcheckable.2-Conv
val of_quickcheckable : quickcheckable -> tval to_quickcheckable : t -> quickcheckable
Of_quickcheckable.2-Convval of_quickcheckable : quickcheckable -> tval to_quickcheckable : t -> quickcheckable