def nat0

cswap-bend-cli@0.1.0.0 · pollrow.bend:167

import Base

167def nat0(m: Maybe<&2, U32>) -> Nat:
168  match m:
169    case Some{x}:
170      U32.to_nat(x)
171    case None{}:
172      0n