Function test_generation::transitions::get_struct_instantiation_for_state

pub fn get_struct_instantiation_for_state(
    state: &AbstractState,
    struct_inst_idx: StructDefInstantiationIndex,
    exact: bool
) -> (StructDefinitionIndex, Vec<SignatureToken>)