Macro stacks_rs::post_condition
source · macro_rules! post_condition { (@box $e:expr) => { ... }; () => { ... }; ($(($type:ident, $($args:tt)*)),* $(,)?) => { ... }; ($type:ident, $($args:tt)*) => { ... }; (@gen STXCondition, $($args:tt)*) => { ... }; (@gen FungibleCondition, $($args:tt)*) => { ... }; (@gen NonFungibleCondition, $($args:tt)*) => { ... }; }
Expand description
Convenience macro for creating post-conditions.