~/jendhub

def U32.from_nat

Base · base.bend:1569

import Base
1569def U32.from_nat(n: Nat) -> U32:
1570  match n:
1571    case 0n:
1572      0
1573    case 1n+p:
1574      U32.inc(U32.from_nat(p))

Uses (3)

Used by (1499)