~/jendhub

def maxall.step

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

import cswap-bend-cli@0.1.0.0/policy/pick.bend as Pick
import Base

286def maxall.step(+c: Maybe<&2, RH>, +acc: Nat) -> Nat:
287  match c:
288    case None{}:
289      acc
290    case Some{x}:
291      match x:
292        case RH{r, h}:
293          Nat.max(acc, h)

Uses (4)

Used by (1)