~/jendhub

def Vec.add

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

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

88def Vec.add(-n: Nat, a: Vec<n>, b: Vec<n>) -> Vec<n>:
89  match a b:
90    case Vec{xs} Vec{ys}:
91      Vec{zip_with.add(xs, ys)}

Uses (3)

Used by (0)

No other definition uses this definition.