invariant (cargo): A library for creating wrapper types that enforce invariants.
Keywords: wrapper|wrapper-type|invariant|newtype