def Vec.mul

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

import Base

98def Vec.mul(-n: Nat, a: Vec<n>, b: Vec<n>) -> Vec<n>:
99  match a b:
100    case Vec{xs} Vec{ys}:
101      Vec{zip_with.mul(xs, ys)}