type-plus
    Preparing search index...

    Type Alias Add<A, B, Fail>

    Add: [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