def shl

bend-lawful-stdlib@0.1.0.0 · src/float/bin.bend:171

import Base

171# a * 2^n
172def shl(a: Bin, n: Nat) -> Bin:
173  match n:
174    case 0n:
175      a
176    case 1n+k:
177      B0{shl(a, k)}