C

contracts

A Rust crate that implements "design by contract" via procedural macros