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