Function reduce

src/compute-engine/library/relational-operator.ts:137–137

(x: bigint)

    // lhs ≤ rhs  ⇔  diff ≥ 0
    if (s === 'positive' || s === 'zero' || s === 'non-negative') return true;
    if (s === 'negative') return false;
  }

  return undefined;