def Vec.sub

bend-tensors@0.0.0.2 · bend_tensors.bend:1356

import Base

1356def Vec.sub(+m: Nat, a: Vec<m>, b: Vec<m>) -> Vec<m>:
1357  VecS{x} = a
1358  VecS{y} = b
1359  VecS{VecT.sub(VecT.depth(m), x, y)}