3 ms·Eiffel uses 'invariant', and .NET Code Contracts uses 'Invariant'.by rhencke 6y agoEiffel uses 'invariant', and .NET Code Contracts uses 'Invariant'.