def VecT.max2
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
980def VecT.max2(+p: Nat, a0: VecT(p), b0: VecT(p), a1: VecT(p), b1: VecT(p)) -> VecT(1n+p):
981 x y = VecT.zip(~F32.max.of, p, a0, b0) VecT.zip(~F32.max.of, p, a1, b1)
982 VecN{x, y}