def Vec.zip

bend-tensors@0.0.0.2 · bend_tensors.bend:1346

import Base

1346def Vec.zip(~f: F32 -> F32 -> F32, +m: Nat, a: Vec<m>, b: Vec<m>) -> Vec<m>:
1347  VecS{x} = a
1348  VecS{y} = b
1349  VecS{VecT.mask(VecT.depth(m), VecT.zip(~f, VecT.depth(m), x, y), 0n, m)}