def Mat.scale

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

import Base

255def Mat.scale(-r: Nat, -c: Nat, +k: F32, a: Mat<r, c>) -> Mat<r, c>:
256  match a:
257    case Mat{x}:
258      Mat{rows.scale(k, x)}