def br.row

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

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as U

132def br.row(+m: Maybe<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Br:
133  match m:
134    case None{}:
135      NotBlocked{}
136    case Some{u}:
137      br.fresh(U.trusted(u, now, ms), u, ms)