def Vec.zeros
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1319def Vec.zeros(+m: Nat) -> Vec<m>:
1320 VecS{VecT.zeros(VecT.depth(m))}
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1319def Vec.zeros(+m: Nat) -> Vec<m>:
1320 VecS{VecT.zeros(VecT.depth(m))}
No other definition uses this definition.