Functions for tracking which assertions apply to which value types.
Arbitraries for generating assertion chain arguments.
Types for configuring property tests and their variants.
Functions for directly executing assertions without the full harness.
Error classes thrown by the property testing harness.
Helper functions for building fast-check arbitraries.
Core functions for creating and running property-based tests.
Type guards for runtime type checking of configuration variants.
Property-based testing harness for BUPKIS assertions.
See also: README