Module utility.invariant

module utility.invariant

Defines reusable precondition and invariant-checking utilities.

Packages

Exports

Package	Description
uk.co.jasonmarston.kiunzi.utility.invariant	Validation-based invariant checking, Invariants for null-state guards, and Preconditions for argument preconditions.