cswap-bend-cli@0.1.0.0 · daemon/view.bend:20
import cswap-bend-cli@0.1.0.0/daemon/view.bend as View
import Base 20def nat(+n: U32) -> Nat: 21 U32.to_nat(n)