def VecT.add

bend-tensors@0.0.0.2 · bend_tensors.bend:526

import Base

526def VecT.add(+n: Nat, a: VecT(n), b: VecT(n)) -> VecT(n):
527  VecT.zip(~F32.add, n, a, b)