Typeservicesv0.8.2SubtractIfAGreaterThanBSubtracts two positive numbers A and B such that A B. type SubtractIfAGreaterThanB< A extends number, B extends number > = TupleOf<A> extends [...TupleOf<B>, ...infer R] ? R["length"] : never;type SubtractIfAGreaterThanB< A extends number, B extends number > = TupleOf<A> extends [...TupleOf<B>, ...infer R] ? R["length"] : never;Type parametersAA extends numberA extends numberBB extends numberB extends number