def win.max.step

cswap-bend-cli@0.1.0.0 · policy/usage.bend:77

import Base

77def win.max.step(+acc: Maybe<&2, Nat>, +p: Nat) -> Maybe<&2, Nat>:
78  match acc:
79    case None{}:
80      Some{p}
81    case Some{x}:
82      Some{Nat.max(x, p)}