disabled_contracts (cargo): A clearly stub version of the `contracts` crate.
Keywords: verification|invariant|design-by-contract|precondition|postcondition