def Vec.sum
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1377def Vec.sum(+m: Nat, v: Vec<m>) -> F32:
1378 VecS{t} = v
1379 VecT.sum(VecT.depth(m), t)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1377def Vec.sum(+m: Nat, v: Vec<m>) -> F32:
1378 VecS{t} = v
1379 VecT.sum(VecT.depth(m), t)