Bar.nr.release: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/bar.bend as Bar
Lines 100-108 of cswap-bend-cli@0.1.0.0/policy/bar.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&start_line=100&end_line=108

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

# The bar lifts when the account we left beats us outright.
def nr.release(+hb: Maybe<&2, Nat>, +ah: Maybe<&2, Nat>, +thr: Nat) -> Bool:
  match hb ah:
    case None{} _:
      False{}
    case Some{l} Some{a}:
      Nat.is_ge(l, Nat.mul(2n, a))
    case Some{l} None{}:
      Nat.is_gt(l, Nat.sub(T.full(), thr))

Uses (8):
  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.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=full