def hold.reset

cswap-bend-cli@0.1.0.0 · urec.bend:144

import Base
import cswap-bend-cli@0.1.0.0/poll.bend as Poll

144def hold.reset(m: Maybe<&2, U32>, +held: U32) -> U32:
145  match m:
146    case Some{r}:
147      Poll.min_u(held, r)
148    case None{}:
149      held