Module Core_kernel__Quickcheckable