Module Std_kernel.Quickcheck

module Quickcheck: Quickcheck

include Quickcheck

with a default config
module Configure: 
functor (Config : Quickcheck_intf.Quickcheck_config) -> Quickcheck_intf.Quickcheck