def sh8

import bend-collections-laws-math@1.0.0.0/proofs/math/random/wrappers.bend as Wrappers

import Base

154def sh8(k: Nat) -> Nat:
155  match k:
156    case 0n:
157      0n
158    case 1n+j:
159      Nat.add(8n, sh8(j))

Uses (2)