This module provides abbreviations of modules and functions for easier use.

This module provides functions evaluating assertions.

This module provides functions enumerating values.

This module provides functions generating values.

This module provides support for mock functions, that record their calls.

This module provides functions reducing values, in order to produce smaller counterexamples.

This module provides type definitions, base functions, and combinators allowing to encode shell scripts.

This module provides type definitions, base functions, and combinators allowing to encode specifications.

This module provides the functions for creating and running tests.

This module provides utility functions for the other modules.

Current Kaputt version.