def win.max

cswap-bend-cli@0.1.0.0 · policy/usage.bend:84

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

84def win.max(+ws: List<&2, T.Win>, +acc: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
85  match ws:
86    case Nil{}:
87      acc
88    case Con{w, t}:
89      match w:
90        case T.Win{p, r}:
91          win.max(t, win.max.step(acc, p))