def Vec.dot

bend-blas-lapack@0.0.0.1 · mat.bend:197

import Base
import bend-blas-lapack@0.0.0.1/blas.bend as B

197def Vec.dot(+n: Nat, x: Vec<n>, y: Vec<n>) -> IO(Result<&1, &1, U32 & String, F32>):
198  VecA{xs} = x
199  VecA{ys} = y
200  B.Blas.sdot(U32.from_nat(n), xs, ys)