def Mat.sub
import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensorimport Base
244def Mat.sub(-r: Nat, -c: Nat, a: Mat<r, c>, b: Mat<r, c>) -> Mat<r, c>:
245 match a b:
246 case Mat{x} Mat{y}:
247 Mat{rows.zip_sub(x, y)}
import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensorimport Base
244def Mat.sub(-r: Nat, -c: Nat, a: Mat<r, c>, b: Mat<r, c>) -> Mat<r, c>:
245 match a b:
246 case Mat{x} Mat{y}:
247 Mat{rows.zip_sub(x, y)}