/**
 * Check whether `U` contains `U1`
 * @param U to be inspected
 * @param U1 to check within
 * @returns [[Boolean]]
 * @example
 * ```ts
 * ```
 */
export declare type Has<U extends any, U1 extends any> = [
    U1
] extends [U] ? 1 : 0;