def npy_received
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
274def npy_received(result: Result<&1,&1,U32 & String,List<&2,U32>>,file: File,+path: String) -> IO(Tensor()):
275 match result:
276 case Fail{error}: refused(file,fault("load_npy",path,"cannot be read",[]))
277 case Done{bytes}: npy_parsed(header(bytes),file,path)