def ws.shl

bend-osdev-word64@0.1.1.0 · proof_shift.bend:211

import bend-osdev-word64@0.1.1.0/proof_shift.bend as ProofShift

import Base

211def ws.shl(+n: Nat, k: Nat, w: Word(n)) -> Word(n):
212  match k:
213    case 0n:
214      w
215    case 1n+ +p:
216      Word.shl(n, ws.shl(n, p, w))

Uses (3)

Used by (13)