Type aliases
Minus
Minus<N1, N2, fmt>: Minus<N1, N2, fmt>
Type parameters
MinusNegative
MinusNegative<N1, N2>: MinusNegative<N1, N2>
Type parameters
MinusPositive
MinusPositive<N1, N2>: MinusPositive<N1, N2>
Type parameters
_Minus
_Minus<N1, N2>: { 0: MinusPositive<N1, N2>; 1: MinusNegative<N1, N2>; }[{ '-': 1; '+': 0; '0': 0; }[N2[4]]]
Type parameters
_MinusNegative
_MinusNegative<N1, N2>: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: any[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[N1[1]][1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[N1[1]][1]][1]]; 2: IterationMap[IterationMap[IterationMap[N2[1]][1]][1]]; }[IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[N2[1]][1]][1]][3] ? 2 : 0]; 1: IterationMap[IterationMap[N1[1]][1]]; 2: IterationMap[IterationMap[N2[1]][1]]; }[IterationMap[IterationMap[N2[1]][1]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[N2[1]][1]][3] ? 2 : 0]; 1: IterationMap[N1[1]]; 2: IterationMap[N2[1]]; }[IterationMap[N2[1]][3] extends 0 ? 1 : number extends IterationMap[N2[1]][3] ? 2 : 0]; 1: N1; 2: N2; }[N2[3] extends 0 ? 1 : number extends N2[3] ? 2 : 0]
Type parameters
_MinusPositive
_MinusPositive<N1, N2>: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: { 0: any[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[IterationMap[N1[0]][0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[IterationMap[N1[0]][0]][0]]; 2: IterationMap[IterationMap[IterationMap[N2[0]][0]][0]]; }[IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[IterationMap[N2[0]][0]][0]][3] ? 2 : 0]; 1: IterationMap[IterationMap[N1[0]][0]]; 2: IterationMap[IterationMap[N2[0]][0]]; }[IterationMap[IterationMap[N2[0]][0]][3] extends 0 ? 1 : number extends IterationMap[IterationMap[N2[0]][0]][3] ? 2 : 0]; 1: IterationMap[N1[0]]; 2: IterationMap[N2[0]]; }[IterationMap[N2[0]][3] extends 0 ? 1 : number extends IterationMap[N2[0]][3] ? 2 : 0]; 1: N1; 2: N2; }[N2[3] extends 0 ? 1 : number extends N2[3] ? 2 : 0]
Type parameters
Subtract a
Number
from another one