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.