Type Alias RequireAtLeastOne<T>

RequireAtLeastOne: {
    [K in keyof T]-?: Required<Pick<T, K>> & Partial<
        Pick<T, Exclude<keyof T, K>>,
    >
}[keyof T]

Creates a type from an object that requires at least 1 key to be present.