def VecT.add2

bend-tensors@0.0.0.2 · bend_tensors.bend:897

import Base

897def VecT.add2(+p: Nat, a0: VecT(p), b0: VecT(p), a1: VecT(p), b1: VecT(p)) -> VecT(1n+p):
898  x y = VecT.add(p, a0, b0) VecT.add(p, a1, b1)
899  VecN{x, y}