Crate adhesion [] [src]

As the purpose of this crate is to expose the contract macro, see its documentation. You may also be interested in checking out:

Macros

contract

Converts one or more fn definitions inside to be contracted functions that may have pre- and post-condition checks. The following blocks are valid inside of a fn definition: