Expressive runtime contracts for parameters, results, state, invariants, and exceptions.
>= 3.1
Magnexis
