Type Alias WritableKeys<T>

WritableKeys: {
    [K in keyof T]: IfEquals<
        { [P in K]: T[K] },
        { -readonly [P in K]: T[K] },
        K,
    >
}[keyof T]