def zeros

import bend-toon-codec@0.1.0.0/src/num.bend as Num

import Base

144def zeros(+k: U32) -> String:
145  String.repeat("0", U32.to_nat(k))

Uses (4)