import { b as Modulo, a as Absolute, N as Negative } from './chunks/CM89_aaq.js';
import { z as IsAnyNumber, D as IsAnyDecimal, p as IsZero, w as IsAllPositive, x as IsAllNegative, C as IsAnyNegative } from './chunks/DZEfmVOc.js';
import './BooleanNor.js';
import './BooleanNot.js';
import './BooleanOr.js';
import './Tuple.js';
import './BooleanAnd.js';
import './MaybeReadonly.js';
import './TupleLength.js';

/**
 * Remainder of the division of two positive integers.
 *
 * @template A The first positive integer.
 * @template B The second positive integer.
 * @returns The remainder of the division of the two positive integers.
 * @example MathModulo<1, 2> // 1
 */
type MathModulo<A extends number, B extends number> = IsAnyNumber<A, B> extends true ? number : IsAnyDecimal<A, B> extends true ? number : IsZero<B> extends true ? never : IsAllPositive<A, B> extends true ? Modulo<A, B> : IsAllNegative<A, B> extends true ? Modulo<Absolute<A>, Absolute<B>> : IsAnyNegative<A, B> extends true ? Negative<Modulo<Absolute<A>, Absolute<B>>> : never;

export type { MathModulo };