def nat_of

import cswap-bend-cli@0.1.0.0/pollrow.bend as Pollrow

import Base

136def nat_of(m: Maybe<&2, U32>, +d: U32) -> Nat:
137  U32.to_nat(Maybe.default(&2, U32, m, d))

Uses (5)