def maxh.step

cswap-bend-cli@0.1.0.0 · policy/pick.bend:269

import Base
import cswap-bend-cli@0.1.0.0/policy/rank.bend as R

269def maxh.step(+c: Maybe<&2, RH>, +r0: Maybe<&2, Nat>, +acc: Nat) -> Nat:
270  match c:
271    case None{}:
272      acc
273    case Some{x}:
274      match x:
275        case RH{r, h}:
276          maxh.pick(R.rec.req(r, r0), h, acc)