1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

//!
//! 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.
//!
#![doc(include = "../doc/references.md")]

pub mod random;

pub mod config;

pub mod prelude;