creusot_contracts::macros

Attribute Macro law

#[law]
Expand description

Declares a trait item as being a law which is autoloaded as soon another trait item is used in a function