Function test_generation::transitions::stack_satisfies_function_signature

pub fn stack_satisfies_function_signature(
    state: &AbstractState,
    function_index: FunctionHandleIndex
) -> (bool, Subst)

Determine whether the function at the given index can be constructed from the values on the stack.