All Packages

Package Summary

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