Parameter Of_quickcheckable_filtered.2-Conv
val of_quickcheckable : quickcheckable -> t Core_kernel__.Import.optionval to_quickcheckable : t -> quickcheckable
Of_quickcheckable_filtered.2-Convval of_quickcheckable : quickcheckable -> t Core_kernel__.Import.optionval to_quickcheckable : t -> quickcheckable