def Vec.arange

bend-tensors@0.0.0.2 · bend_tensors.bend:1328

import Base

1328# 0, 1, .., m - 1
1329def Vec.arange(+m: Nat) -> Vec<m>:
1330  VecS{VecT.mask(VecT.depth(m), VecT.arange(VecT.depth(m)), 0n, m)}