macro_rules! state_stack_satisfies_function_signature {
    ($e: expr) => { ... };
}
Expand description

Wrapper for enclosing the arguments of stack_satisfies_function_signature so that only the state needs to be given.