def Vec.sub

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

import Base

93def Vec.sub(-n: Nat, a: Vec<n>, b: Vec<n>) -> Vec<n>:
94  match a b:
95    case Vec{xs} Vec{ys}:
96      Vec{zip_with.sub(xs, ys)}