def Big.shl

bend-kit-fmt@0.1.0.0 · fmt.bend:175

import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
import Base

175def Big.shl(k: Nat, a: List<&2, U32>) -> List<&2, U32>:
176  match k:
177    case 0n:
178      a
179    case 1n+j:
180      Big.shl(j, Big.mul(a, 2, 0))

Uses (4)

Used by (1)