def U64.shl

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

import Base

1204def U64.shl(a: U64, k: Nat) -> U64:
1205  match a:
1206    case U64{x}:
1207      U64{Int.shl(64n, k, x)}