def Vec.wrap

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

import Base

131def Vec.wrap(-n: Nat, r: Result<&1, &1, U32 & String, Array<F32>>) -> IO(Result<&1, &1, U32 & String, Vec<n>>):
132  IO.pure(Result<&1, &1, U32 & String, Vec<n>>, Result.map(&1, &1, U32 & String, Array<F32>, Vec<n>, x => VecA{x}, r))