def maxh.pick

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

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

import Base

262def maxh.pick(+hit: Bool, +h: Nat, +acc: Nat) -> Nat:
263  match hit:
264    case True{}:
265      Nat.max(acc, h)
266    case False{}:
267      acc

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/pick:maxh.step