def Vec.iamax
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
219def Vec.iamax(+n: Nat, x: Vec<n>) -> IO(Result<&1, &1, U32 & String, U32>):
220 VecA{xs} = x
221 B.Blas.isamax(U32.from_nat(n), xs)