~/jendhub

def nr.rec

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

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

117def nr.rec(+rec: Bool, +f: Nat, +hb: Maybe<&2, Nat>, +ah: Maybe<&2, Nat>, +thr: Nat) -> Maybe<&2, Nat>:
118  match rec:
119    case False{}:
120      Some{f}
121    case True{}:
122      nr.rel(nr.release(hb, ah, thr), f)

Uses (5)

Used by (1)