Type Alias Expand<O, Ignore, DontIgnoreTop>

Expand: and<O extends Ignore ? true : false, not<DontIgnoreTop>> extends true
    ? O
    : O extends any[]
        ? ArrayClone<O, Ignore>
        : {
            [K in keyof O]: O[K] extends string
            | number
            | symbol
                ? O[K]
                : O[K] extends any[]
                    ? ArrayClone<O[K], Ignore>
                    : Expand<O[K], Ignore, false>
        }