def Vec.scale

bend-tensors@0.0.0.2 · bend_tensors.bend:1369

import Base

1369def Vec.scale(+m: Nat, +k: F32, v: Vec<m>) -> Vec<m>:
1370  VecS{t} = v
1371  VecS{VecT.scale(VecT.depth(m), k, t)}