def maybe_u32

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

import Base

295def maybe_u32(m: Maybe<&2, Nat>) -> Maybe<&2, U32>:
296  match m:
297    case Some{x}:
298      Some{U32.from_nat(x)}
299    case None{}:
300      None{}