def Vec.mask

bend-tensors@0.0.0.2 · bend_tensors.bend:1398

import Base

1398def Vec.mask(+m: Nat, v: Vec<m>) -> Vec<m>:
1399  VecS{t} = v
1400  VecS{VecT.mask(VecT.depth(m), t, 0n, m)}