~/jendhub

def recov.ord

cswap-bend-cli@0.1.0.0 · policy/bar.bend:71

import cswap-bend-cli@0.1.0.0/policy/bar.bend as Bar
import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

71# Ordinary departure: dominance, headroom rise, or a sooner binding reset.
72def recov.ord(+h: Maybe<&2, Nat>, +ah: Maybe<&2, Nat>, +lh: Maybe<&2, Nat>, +lr: Maybe<&2, Nat>, +peer: Maybe<&2, Nat>, +thr: Nat) -> Bool:
73  recov.dom(h, ah, thr) || recov.self(h, lh) || R.rec.lt_minus(peer, lr)

Uses (7)

Used by (1)