def I64.to_u32

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

import Base

1608def I64.to_u32(a: I64) -> U32:
1609  match a:
1610    case I64{x}:
1611      U32{Int.sext(32n, 64n, x)}