Simple design by contract macros for Rust
Please see the Documentation or example for more information.