State and functions for running proptest tests.
You do not normally need to access things in this module directly except when implementing new low-level strategies.
Configuration for how a proptest test should be run.
State used when running a proptest test.
Errors which can be returned from test cases to indicate non-successful completion.
A failure state from running test cases for a single test.
Convenience for the type returned by test cases.