Crate disabled_contracts[−][src]
Expand description
Obviously no-op versions of the contracts crate’s macros.
Refer to that crate for semantics of the real macros.
Attribute Macros
contract_trait | |
debug_ensures | |
debug_invariant | |
debug_requires | |
ensures | |
invariant | |
requires | |
test_ensures | |
test_invariant | |
test_requires |