def Int.shr

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

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

267def Int.shr(+n: Nat, +s: Bool, k: Nat, w: Word(n)) -> Word(n):
268  match k:
269    case 0n:
270      w
271    case 1n+j:
272      Int.shr(n, s, j, Int.shr1(n, s, w))

Uses (4)

Used by (2)