def Vec.scal
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
235def Vec.scal(+n: Nat, alpha: F32, x: Vec<n>) -> IO(Result<&1, &1, U32 & String, Vec<n>>):
236 VecA{xs} = x
237 IO.bind(Result<&1, &1, U32 & String, Array<F32>>, Result<&1, &1, U32 & String, Vec<n>>, B.Blas.sscal(U32.from_nat(n), alpha, xs), r => Vec.wrap(n, r))