def Mag.scale
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
131def Mag.scale(+a: List<&2, U32>, +m: U32) -> List<&2, U32>:
132 Mag.if(List<&2, U32>, U32.is_zero(m), u => Nil{}, u => Mag.mul1(a, m, 0))
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
131def Mag.scale(+a: List<&2, U32>, +m: U32) -> List<&2, U32>:
132 Mag.if(List<&2, U32>, U32.is_zero(m), u => Nil{}, u => Mag.mul1(a, m, 0))