~/jendhub

def meas.acct

cswap-bend-cli@0.1.0.0 · policy/rank.bend:202

import cswap-bend-cli@0.1.0.0/policy/rank.bend as Rank
import Base

202def meas.acct(+ok: Bool, +h: Maybe<&2, Nat>, +thr: Nat, +m: Meas) -> Meas:
203  match ok:
204    case True{}:
205      meas.step(m, h, thr)
206    case False{}:
207      m

Uses (5)

Used by (1)