creusot_
contracts
0.4.0
In creusot_
contracts::
resolve
Traits
Resolve
Functions
resolve
structural_resolve
Derive Macros
Resolve
creusot_contracts
::
resolve
Derive Macro
Resolve
Copy item path
Settings
Help
Summary
#[derive(Resolve)]