GenerateInvariants is a mixin string that automatically generates an invariant{} block for each field with a condition.
See Implementation
GenerateInvariants is a mixin string that automatically generates an invariant{} block for each field with a condition.