def nat_maybe

cswap-bend-cli@0.1.0.0 · poll.bend:244

import Base

244def nat_maybe(m: Maybe<&2, U32>) -> Maybe<&2, Nat>:
245  match m:
246    case Some{x}:
247      Some{U32.to_nat(x)}
248    case None{}:
249      None{}