Gen represents a PRNG.

The main NearProp type for setting configuration and running NearProp.

Context provided to the testable functions to generate results.

Describes the status of a single instance of a test.


Arbitrary describes types whose values can be randomly generated and shrunk.

Testable describes types (e.g., a function) whose values can be tested.


Convenience function for running NearProp.