type _Reverse<T extends unknown[], Result extends unknown[]> = (T extends [infer U, ...infer Rest] ? _Reverse<Rest, [U, ...Result]> : Result);
export type Reverse<T extends unknown[]> = _Reverse<T, []>;
export type SafeOmit<T, U extends keyof T> = Omit<T, U>;
export type StrictExtract<T, U extends T> = Extract<T, U>;
export type StrictExclude<T, U extends T> = Exclude<T, U>;
export type DistributivePick<T, K extends keyof T> = T extends T ? Pick<T, K> : never;
export type DistributiveSafeOmit<T, U extends keyof T> = T extends T ? SafeOmit<T, U> : never;
export {};