def top.step

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

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

import Base

182def top.step(+c: Maybe<&2, Nat>, +acc: Nat) -> Nat:
183  match c:
184    case None{}:
185      acc
186    case Some{h}:
187      Nat.max(acc, h)

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/pick:top