Macro creusot_contracts::macros::extern_spec

extern_spec!() { /* proc-macro */ }
Expand description

Allows specifications to be attached to functions coming from external crates

TODO: Document syntax