Function test_generation::transitions::stack_has_struct

pub fn stack_has_struct(
    state: &AbstractState,
    struct_index: StructDefinitionIndex
) -> bool

Determine if a struct (of the given signature) is at the top of the stack The struct_index can be Some(index) to check for a particular struct, or None to just check that there is a a struct.