import { BooleanNor } from '../BooleanNor.js';
import { BooleanNot } from '../BooleanNot.js';
import { BooleanOr } from '../BooleanOr.js';
import { Tuple } from '../Tuple.js';
import { TupleLength } from '../TupleLength.js';
import { n as IsStrictEqual, p as IsZero, l as IsEqual } from './DZEfmVOc.js';

type Add<A extends number, B extends number> = TupleLength<[...Tuple<A>, ...Tuple<B>]> extends infer U extends number ? U : never;
type Substract<A extends number, B extends number> = Tuple<A> extends [...(infer U), ...Tuple<B>] ? TupleLength<U> : never;
type Absolute<A extends number> = `${A}` extends `-${infer U extends number}` ? U : A;
type Negative<A extends number> = `-${A}` extends `${infer U extends number}` ? U : `${A}` extends `-${infer V extends number}` ? V : never;
type Divide<A extends number, B extends number, Q extends number = 0> = IsLower<A, B> extends true ? Q : Divide<Substract<A, B>, B, Add<Q, 1>>;
type Multiply<A extends number, B extends number, P extends number = 0> = IsZero<B> extends true ? P : Multiply<A, Substract<B, 1>, Add<A, P>>;
type Modulo<A extends number, B extends number, R extends number = 0> = IsLower<A, B> extends true ? A : Modulo<Substract<A, B>, B, Add<R, 1>>;
type Minimum<A extends number, B extends number> = IsLower<A, B> extends true ? A : B;
type Maximum<A extends number, B extends number> = IsLower<A, B> extends true ? B : A;
type IsLower<A extends number, B extends number> = Substract<A, B> extends never ? true : false;
type IsGreater<A extends number, B extends number> = BooleanNor<IsLower<A, B>, IsEqual<A, B>>;
type IsEqualOrLower<A extends number, B extends number> = BooleanOr<IsStrictEqual<A, B>, IsLower<A, B>>;
type IsEqualOrGreater<A extends number, B extends number> = BooleanNot<IsLower<A, B>>;
type IsDivisibleBy<A extends number, B extends number> = IsStrictEqual<Modulo<Absolute<A>, Absolute<B>>, 0>;

export type { Add as A, Divide as D, IsLower as I, Multiply as M, Negative as N, Substract as S, Absolute as a, Modulo as b, Minimum as c, Maximum as d, IsGreater as e, IsEqualOrLower as f, IsEqualOrGreater as g, IsDivisibleBy as h };