def Vec.scale

bend-ml-tensor@0.1.2.0 · main.bend:103

import Base

103def Vec.scale(-n: Nat, +k: F32, a: Vec<n>) -> Vec<n>:
104  match a:
105    case Vec{xs}:
106      Vec{scale.l(k, xs)}