Type alias RenameEffectId<T, N1, N2>

RenameEffectId<T, N1, N2>: Omit<T, N1 | N2> & { [ K in N2]: T[N1] }

RenameEffectId is the result type of renaming a key in a NameToEffectId.

RenameEffectId<{ [N1]: T[N1] }, N1, N2> -> { [N2]: T[N1] }