Rank.rec.ge_minus: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank
Lines 26-34 of cswap-bend-cli@0.1.0.0/policy/rank.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/rank.bend&start_line=26&end_line=34

import Base

# c >= a - 300 s (the recovery hysteresis), with inf for None.
def rec.ge_minus(+c: Maybe<&2, Nat>, +a: Maybe<&2, Nat>) -> Bool:
  match c a:
    case None{} _:
      True{}
    case Some{t} None{}:
      False{}
    case Some{t} Some{x}:
      Nat.is_ge(Nat.add(t, 300n), x)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_ge