def Big.shl
import bend-kit-fmt@0.1.0.0/fmt.bend as Fmtimport 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))
import bend-kit-fmt@0.1.0.0/fmt.bend as Fmtimport 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))