def U64.to_u32

bend-kit-int@0.2.0.0 · int.bend:1228

import Base

1228def U64.to_u32(a: U64) -> U32:
1229  match a:
1230    case U64{x}:
1231      U32{Int.ext(32n, 64n, False{}, x)}