pub fn struct_inst_abilities(
    state: &AbstractState,
    struct_index: StructDefInstantiationIndex
) -> AbilitySet