adhesion (cargo): A set of macros for design by contact in Rust. The design of this library was inspired by D's contract programming facilities.
Keywords: invariant|design|contract|contract-testing|contracts-programming|design-by-contract|design-by-contracts|design-patterns|rust