def W64.shl

import bend-osdev-word64@0.1.1.0/word64.bend as Word64

import Base

191def W64.shl(a: W64, +k: Nat) -> W64:
192  W64.shl.pick(Nat.is_eq(k, 0n), Nat.is_lt(k, 32n), Nat.is_lt(k, 64n), k, a)

Uses (5)