~/jendhub

def win.back

cswap-bend-cli@0.1.0.0 · poll.bend:302

import cswap-bend-cli@0.1.0.0/poll.bend as Poll
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as PT

302def win.back(ws: List<&2, PT.Win>) -> List<&2, Win>:
303  match ws:
304    case Nil{}:
305      []
306    case Con{PT.Win{p, r}, t}:
307      Win{U32.from_nat(Nat.div(p, 10n)), maybe_u32(r)} <> win.back(t)

Uses (6)

Used by (1)