def bind.rec.of

cswap-bend-cli@0.1.0.0 · policy/rank.bend:115

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

115def bind.rec.of(+m: Maybe<&2, T.Win>, +now: Nat) -> Maybe<&2, Nat>:
116  match m:
117    case None{}:
118      None{}
119    case Some{w}:
120      match w:
121        case T.Win{p, r}:
122          rec.after(r, now)