def zip_with.sub

bend-ml-tensor@0.1.2.0 · main.bend:29

import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensor

import Base

29def zip_with.sub(xs: List<&2, F32>, ys: List<&2, F32>) -> List<&2, F32>:
30  match xs ys:
31    case Con{+h, t} Con{+g, u}:
32      (h - g : F32) <> zip_with.sub(t, u)
33    case _ _:
34      Nil{}

Uses (3)

Used by (2)