Module Quickcheck

module Quickcheck: sig .. end
You should start reading in quickcheck_generator.mli

include Quickcheck

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