def vscale

bendtorch@1.3.0.0 · spec.bend:29

import Base

29def vscale(+k: Nat, xs: List<&2, Nat>) -> List<&2, Nat>:
30  match xs:
31    case Nil{}:
32      Nil{}
33    case Con{x, t}:
34      Nat.mul(k, x) <> vscale(k, t)