def Mag.lo

import bend-kit-bignum@0.1.0.0/bigint.bend as Bigint

import Base

163def Mag.lo(xs: List<&2, U32>, k: Nat) -> List<&2, U32>:
164  Mag.norm(List.take(&2, U32, xs, k))

Uses (5)