def Mag.shift

bend-kit-bignum@0.1.0.0 · bigint.bend:155

import Base

155# xs * 10^(4 n).
156def Mag.shift(xs: List<&2, U32>, n: Nat) -> List<&2, U32>:
157  match xs:
158    case Nil{}:
159      Nil{}
160    case s:
161      Mag.zeros(n, s)