def W64.shr

bend-kit-hash@0.3.0.2 · hash.bend:58

import Base

58# Shift right by k, for 0 < k < 32; j is 32 - k.
59def W64.shr(+k: Nat, +j: Nat, a: W64) -> W64:
60  match a:
61    case W64{+h, +l}:
62      W64{(h >> k : U32), ((l >> k) .|. (h << j) : U32)}