~/jendhub

def nr.landed

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

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

132def nr.landed(+away: Bool, +f: Nat, +rec: Bool, +hb: Maybe<&2, Nat>, +ah: Maybe<&2, Nat>, +thr: Nat) -> Maybe<&2, Nat>:
133  match away:
134    case True{}:
135      None{}
136    case False{}:
137      nr.rec(rec, f, hb, ah, thr)

Uses (4)

Used by (1)