Async_quickcheck Async_quickcheck defines async_test function, like Quickcheck.test, but for asynchronous tests.