def VecT.sub
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
529def VecT.sub(+n: Nat, a: VecT(n), b: VecT(n)) -> VecT(n):
530 VecT.zip(~F32.sub, n, a, b)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
529def VecT.sub(+n: Nat, a: VecT(n), b: VecT(n)) -> VecT(n):
530 VecT.zip(~F32.sub, n, a, b)