type-plus
    Preparing search index...

    Type Alias Subtract<A, B, Fail>

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