Function pick_

pick_<
    T extends readonly []
    | readonly unknown[],
    K extends number | `${number}`,
>(
    x: T,
    ...ks: K[],
): {
    [P in number | `${number}` as P extends keyof T ? P<P> : never]: T[P & keyof T]
}

pick_<
    T extends
        Record<keyof T & string, unknown>
        | Record<keyof T & number, unknown>,
    K extends string,
>(
    x: T,
    ...ks: K[],
): { [P in string as P extends keyof T ? P<P> : never]: T[P & keyof T] }

pick_<
    T extends
        | undefined
        | null
        | string
        | number
        | bigint
        | boolean
        | symbol
        | RegExp
        | Date
        | { -readonly [K in string
        | number
        | symbol]: Mut<T[K], RegExp | Date> },
    K extends string
    | number
    | symbol,
>(
    x: T,
    ...ks: K[],
): { [P in string | number | symbol]: T[P] }