Attribute Macro creusot_contracts::macros::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