def br.if

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:109

import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as Exhaust
import Base

109def br.if(+blocked: Bool, +acc: Br, +r: Maybe<&2, Nat>) -> Br:
110  match blocked:
111    case True{}:
112      br.upd(acc, r)
113    case False{}:
114      acc

Uses (5)

Used by (1)