pub fn stack_has_reference(
    state: &AbstractState,
    index: usize,
    mutability: Mutability
) -> bool
Expand description

Determine whether the stack has a reference at index with the given mutability. If mutable is Either then the reference can be either mutable or immutable