Type Alias BigInt<From, To>

BigInt: bigint extends From
    ? _BigIntUnknown
    : bigint extends To
        ? _BigIntUnknown
        : From extends To
            ? _EQ & { type: "bigint" }
            : { result: "diff"; type: "bigint"; value: SubtractBigInt<To, From> }