def rows.zip_sub
import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensorimport Base
156def rows.zip_sub(xs: List<&2, List<&2, F32>>, ys: List<&2, List<&2, F32>>) -> List<&2, List<&2, F32>>:
157 match xs ys:
158 case Con{a, t} Con{b, u}:
159 zip_with.sub(a, b) <> rows.zip_sub(t, u)
160 case _ _:
161 Nil{}