Type Alias RemovableKeys<S>

RemovableKeys: {
    [K in keyof S]: S[K] extends FieldDef
        ? S[K]["_required"] extends false
            ? S[K]["isImmutable"] extends true
                ? never
                : S[K]["isVersion"] extends true ? never : K
            : never
        : never
}[keyof S]