def Int.shl

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

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

import Base

252def Int.shl(+n: Nat, k: Nat, w: Word(n)) -> Word(n):
253  match k:
254    case 0n:
255      w
256    case 1n+j:
257      Int.shl(n, j, Word.shl(n, w))

Uses (3)

Used by (2)