def Vec.asum
import bend-blas-lapack@0.0.0.1/mat.bend as Matimport Base
import bend-blas-lapack@0.0.0.1/blas.bend as B
212def Vec.asum(+n: Nat, x: Vec<n>) -> IO(Result<&1, &1, U32 & String, F32>):
213 VecA{xs} = x
214 B.Blas.sasum(U32.from_nat(n), xs)