TypeAlias.BGreaterThanA

umt / BGreaterThanA

Type Alias: BGreaterThanA<A, B>

BGreaterThanA<A, B> = `${A}` extends `-${infer N extends number}` ? `${B}` extends `-${infer M extends number}` ? BGreaterThanA<N, M> : BGreaterThanA<N, B> : `${B}` extends `-${infer M extends number}` ? BGreaterThanA<A, M> : ZeroAorB<A, B> extends true ? Equal<A, B> extends true ? false : A extends 0 ? true : false : BGreaterThanA<Subtract<A, 1>, Subtract<B, 1>>

Defined in: types/logic/bGreaterThanA.ts:7

Type Parameters

A

A extends number

B

B extends number