Bigint.Mag.mul1: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/bigint.bend as Bigint
Lines 122-129 of bend-kit-bignum@0.1.0.0/bigint.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&start_line=122&end_line=129

import Base

# a * m + c for m, c below 10^4.
def Mag.mul1(a: List<&2, U32>, +m: U32, +c: U32) -> List<&2, U32>:
  match a:
    case Nil{}:
      Mag.lone(U32.is_zero(c), c)
    case Con{x, xs}:
      +t = (x * m + c : U32)
      Con{(t % 10000 : U32), Mag.mul1(xs, m, (t / 10000 : U32))}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=Mag.lone