def W64.shr

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

import Base

209def W64.shr(a: W64, +k: Nat) -> W64:
210  W64.shr.pick(Nat.is_eq(k, 0n), Nat.is_lt(k, 32n), Nat.is_lt(k, 64n), k, a)

Uses (5)