def I64.shl
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1569def I64.shl(a: I64, k: Nat) -> I64:
1570 match a:
1571 case I64{x}:
1572 I64{Int.shl(64n, k, x)}
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1569def I64.shl(a: I64, k: Nat) -> I64:
1570 match a:
1571 case I64{x}:
1572 I64{Int.shl(64n, k, x)}