Module un_algebra::tests

Generative testing support for axioms and properties.

un_algebra modules that export abstract structure traits also include a set of generative (proptest) tests for each trait's axioms and properties.

The tests module provides random value generators and testing configuration helper functions for un_algebra generative tests.

Modules

config	Testing configurations for proptest tests.
prelude	Generative testing support prelude.
random	Random value generation for generative tests.