~/jendhub

def U32.to_nat

Base · base.bend:1564

import Base
1564def U32.to_nat(a: U32) -> Nat:
1565  match a:
1566    case U32{w}:
1567      Word.to_nat(32n, w)

Uses (3)

Used by (3190)