def I64.from_u32

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

import Base

1613def I64.from_u32(a: U32) -> I64:
1614  match a:
1615    case U32{x}:
1616      I64{Int.ext(64n, 32n, False{}, x)}