def Mat.mul
import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensorimport Base
249# element-wise product (Hadamard)
250def Mat.mul(-r: Nat, -c: Nat, a: Mat<r, c>, b: Mat<r, c>) -> Mat<r, c>:
251 match a b:
252 case Mat{x} Mat{y}:
253 Mat{rows.zip_mul(x, y)}