def MatT.add
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
765def MatT.add(+r: Nat, +c: Nat, m: MatT(r, c), n: MatT(r, c)) -> MatT(r, c):
766 MatT.zip(~F32.add, r, c, m, n)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
765def MatT.add(+r: Nat, +c: Nat, m: MatT(r, c), n: MatT(r, c)) -> MatT(r, c):
766 MatT.zip(~F32.add, r, c, m, n)