def Cublas.download
import bend-blas-lapack@0.0.0.1/cublas.bend as Cublasimport Base
31# The n floats of a device buffer back in a fresh array; the buffer stays.
32def Cublas.download(id: U32) -> IO(Result<&1, &1, U32 & String, Array<F32>>):
33 import "./effs/cublas_download.c"
34 import "./effs/cublas_download.js"