import { AllFalse, And, Not } from "./boolean";
export declare type Is<T, U> = (<_>() => _ extends T ? 0 : 1) extends <_>() => _ extends U ? 0 : 1 ? true : false;
export declare type IsSubtype<T, U> = T extends U ? true : false;
export declare type IsAny<T> = IsSubtype<[T], T & []>;
export declare type IsNever<T> = IsSubtype<[T], [never]>;
export declare type IsUnknown<T> = And<Not<IsAny<T>>, IsSubtype<unknown, T>>;
export declare type IsReified<T> = AllFalse<[IsAny<T>, IsUnknown<T>, IsNever<T>]>;
export declare type IsCompatible<T, U> = IsSubtype<[T, U], [U, T]>;