Type alias Add<A, B, Fail>
Add<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.Add<MA, MB>>
: Fail
: Fail
: never
Type Parameters
-
A extends number | bigint
-
B extends number | bigint
-
Fail = never