def VecT.mul
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
532# elementwise product
533def VecT.mul(+n: Nat, a: VecT(n), b: VecT(n)) -> VecT(n):
534 VecT.zip(~F32.mul, n, a, b)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
532# elementwise product
533def VecT.mul(+n: Nat, a: VecT(n), b: VecT(n)) -> VecT(n):
534 VecT.zip(~F32.mul, n, a, b)