~/jendhub

def recov.pick

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

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

75def recov.pick(+isf: Bool, +h: Maybe<&2, Nat>, +ah: Maybe<&2, Nat>, +lh: Maybe<&2, Nat>, +lr: Maybe<&2, Nat>, +peer: Maybe<&2, Nat>, +act: Maybe<&2, Nat>, +thr: Nat, +now: Nat) -> Bool:
76  match isf:
77    case True{}:
78      recov.fail(h, peer, act, thr, now)
79    case False{}:
80      recov.ord(h, ah, lh, lr, peer, thr)

Uses (5)

Used by (1)