/**
 * If the type is possibly null or undefined.
 */
export declare type IsNullable<T> = T extends null | undefined ? true : never;
/**
 * If the type is not possibly null or undefined.
 */
export declare type IsNonNullable<T> = IsNever<IsNullable<T>>;
/**
 * If the type has the specified type.
 */
export declare type HasType<T, U> = T extends U ? true : never;
/**
 * If the type does not have the specified type.
 */
export declare type NotHasType<T, U> = IsNever<HasType<T, U>>;
/**
 * If the type is the never type.
 */
export declare type IsNever<T> = HasType<T, never>;
/**
 * If the type is the exact type.
 * @remarks This is useful for checking if two union types match exactly.
 */
export declare type IsExactType<T, U> = Exclude<T, U> extends never ? Exclude<U, T> extends never ? true : never : never;