def free_some

cswap-bend-cli@0.1.0.0 · tui/view.bend:177

import Base

177def free_some(+m: Maybe<&2, U32>) -> Maybe<&2, U32>:
178  match m:
179    case None{}:
180      None{}
181    case Some{c}:
182      Some{(10000 - U32.min(c, 10000) : U32)}