~/jendhub

def br.win

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

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

116def br.win(+ws: List<&2, T.Win>, +acc: Br) -> Br:
117  match ws:
118    case Nil{}:
119      acc
120    case Con{w, t}:
121      match w:
122        case T.Win{p, r}:
123          br.win(t, br.if(Nat.is_ge(p, T.full()), acc, r))

Uses (6)

Used by (1)