import type { CreateTuple } from '../create-tuple'
import type { IfBothWhole } from './if-both-whole'
import type { Length } from '../length'

/**
 * Returns the literal difference between two natural numbers.
 *
 * @example
 * ```
 * Subtract<3, 1> // 2
 * ```
 * @example
 * ```
 * Subtract<1, 0> // 1
 * ```
 */
export type Subtract<A extends number, B extends number> = IfBothWhole<
	A,
	B,
	CreateTuple<A> extends [...infer U, ...CreateTuple<B>] ? Length<U> : never
>