def Vec.shift

bend-tensors@0.0.0.2 · bend_tensors.bend:1373

import Base

1373def Vec.shift(+m: Nat, +k: F32, v: Vec<m>) -> Vec<m>:
1374  VecS{t} = v
1375  VecS{VecT.mask(VecT.depth(m), VecT.shift(VecT.depth(m), k, t), 0n, m)}