rust-dbc

Simple design by contract macros for Rust