def U64.from_u32

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

import Base

1233def U64.from_u32(a: U32) -> U64:
1234  match a:
1235    case U32{x}:
1236      U64{Int.ext(64n, 32n, False{}, x)}