import { Identity } from "../hkt";
import { $Exists } from "../hkt/list";
import { IsEmpty, List } from "../list";
/**
 * gets the boolean OR of booleans `A` and `B`
 *
 * @remarks
 * does not distribute over `A` or `B`
 *
 * @undefined_behavior `A` is `any`, `unknown`, `never`, or `boolean`
 * @undefined_behavior `B` is `any`, `unknown`, `never`, or `boolean`
 *
 * @since 0.0.2
 *
 * @example
 * ```ts
 * type e0 = Or<true, true>   // true
 * type e1 = Or<true, false>  // true
 * type e2 = Or<false, true>  // true
 * type e3 = Or<false, false> // false
 * ```
 */
export type Or<A extends boolean, B extends boolean> = [
    A
] extends [true] ? true : [B] extends [true] ? true : false;
export declare namespace Or {
    /**
     * gets the boolean OR of booleans `A` and `B`
     *
     * @remarks
     * distributes over `A` and `B`
     *
     * @undefined_behavior `A` is `any`, `unknown`, `never`, or `boolean`
     * @undefined_behavior `B` is `any`, `unknown`, `never`, or `boolean`
     *
     * @since 0.0.9
     */
    type Distributive<A extends boolean, B extends boolean> = A extends true ? true : B extends true ? true : false;
    /**
     * unbounded logical OR
     *
     * @undefined_behavior an element is `any`, `unknown`, `never`, or `boolean`
     *
     * @since 0.0.9
     */
    type Unbounded<L extends List<boolean>, Vacuous = false> = IsEmpty<L> extends true ? Vacuous : $Exists<Identity.Satisfies<boolean>, L>;
}
//# sourceMappingURL=or.d.ts.map