Function test_generation::transitions::stack_has_struct_inst
source · pub fn stack_has_struct_inst(
state: &AbstractState,
struct_index: StructDefInstantiationIndex
) -> bool
pub fn stack_has_struct_inst(
state: &AbstractState,
struct_index: StructDefInstantiationIndex
) -> bool