Function test_generation::transitions::stack_satisfies_struct_instantiation

pub fn stack_satisfies_struct_instantiation(
    state: &AbstractState,
    struct_index: StructDefInstantiationIndex,
    exact: bool
) -> (bool, Subst)