export { Class, Prettify, Expand, ValueOf, TupleOfLength, ArrayMinLength, UnionToIntersection } from 'sxy-types'

export type True<T extends true> = true
export type Extends<A extends B, B> = true
/*
export type Class = { new(...args: unknown[]): object }

export type Prettify<T> = {
    [K in keyof T]: T[K];
} & {}; // eslint-disable-line @typescript-eslint/ban-types
export type Expand<T> = Prettify<T>

//export type ValueOf<T extends object> = T extends readonly unknown[] ? T[number] : Required<T>[keyof T]
export type ValueOf<T extends object> = Required<T>[keyof T]

export type ExhaustiveKeyOf<T> = T extends T ? keyof T: never

export type TupleOfLength<T, N extends number, Acc extends T[] = []>
    = Acc['length'] extends N ? Acc : TupleOfLength<T, N, [...Acc, T]>
export type ArrayMinLength<T, N extends number> = [...TupleOfLength<T, N>, ...T[]]

export type UnionToIntersection<U> = (
    U extends U ? (u: U) => 0 : never
) extends (i: infer I) => 0 ? Extract<I, U> : never
*/