Type Alias Add<A, B, __fA, __fB>

Add: __fA extends 0
    ? __fB extends 0 ? i_sum<A, B> : _sum_with_f<A, B, __fB>
    : __fB extends 0
        ? _sum_with_f<A, B, __fA>
        : _sum_with_f<A, B, f_sum<__fA, __fB, Is_Negative<A>, Is_Negative<B>>>

Type Parameters

  • A extends number
  • B extends number
  • __fA extends number = Fraction<A>
  • __fB extends number = Fraction<B>