contract library

Mixins

Invariant
Design by Contract: Mixin for enforcing object invariants.

Extensions

ContractOps on T
Extension methods for Design by Contract preconditions and postconditions.