Type Alias AtLeast<O, K>

AtLeast: NoExpand<
    O extends unknown
        ? | (K extends keyof O ? { [P in K]: O[P] } & O : O)
        | { [P in keyof O as P extends K ? P : never]-?: O[P] } & O
        : never,
>