Function test_generation::transitions::stack_struct_has_field_inst
source · pub fn stack_struct_has_field_inst(
state: &AbstractState,
field_index: FieldInstantiationIndex
) -> bool
pub fn stack_struct_has_field_inst(
state: &AbstractState,
field_index: FieldInstantiationIndex
) -> bool