import { A as Add, N as Negative, a as Absolute, I as IsLower, S as Substract } from './chunks/CM89_aaq.js';
import { z as IsAnyNumber, D as IsAnyDecimal, p as IsZero, w as IsAllPositive, x as IsAllNegative, l as IsEqual, s as IsNegative } from './chunks/DZEfmVOc.js';
import './BooleanNor.js';
import './BooleanNot.js';
import './BooleanOr.js';
import './Tuple.js';
import './TupleLength.js';
import './BooleanAnd.js';
import './MaybeReadonly.js';

/**
 * Sum of two integers.
 *
 * @template A The first integer.
 * @template B The second integer.
 * @returns The sum of the two integers.
 * @example MathAdd<1, 2> // 3
 */
type MathAdd<A extends number, B extends number> = IsAnyNumber<A, B> extends true ? number : IsAnyDecimal<A, B> extends true ? number : IsZero<A> extends true ? B : IsZero<B> extends true ? A : IsAllPositive<A, B> extends true ? Add<A, B> : IsAllNegative<A, B> extends true ? Negative<Add<Absolute<A>, Absolute<B>>> : IsEqual<Absolute<A>, Absolute<B>> extends true ? 0 : IsNegative<A> extends true ? IsLower<Absolute<A>, B> extends true ? Substract<B, Absolute<A>> : Negative<Substract<Absolute<A>, B>> : IsNegative<B> extends true ? IsLower<Absolute<B>, A> extends true ? Substract<A, Absolute<B>> : Negative<Substract<Absolute<B>, A>> : never;

export type { MathAdd };