Ppx_quickcheck_runtime
module Base = Base
module Base_quickcheck = Base_quickcheck
module Quickcheckable : sig ... end