Type alias Subtract<A, B, Fail>
Subtract<A, B, Fail>: [NumericStruct.FromNumeric<A, Fail>, NumericStruct.FromNumeric<B, Fail>] extends [infer MA, infer MB]
? MA extends NumericStruct
? MB extends NumericStruct
? NumericStruct.ToNumeric<NumericStruct.Subtract<MA, MB>>
: Fail
: Fail
: never
Type Parameters
-
A extends number | bigint
-
B extends number | bigint
-
Fail = never