def Mag.cons

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

import Base

25# x + r * 10^4, dropping a zero limb on top.
26def Mag.cons(+x: U32, r: List<&2, U32>) -> List<&2, U32>:
27  match r:
28    case Nil{}:
29      Mag.lone(U32.is_zero(x), x)
30    case s:
31      Con{x, s}