/// package to import module qcheck; public: import qcheck.arbitrary, qcheck.exceptions, qcheck.config, qcheck.quickcheck;