def loaded

stelliferous@0.0.2.0 · tensor_file.bend:141

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

141def loaded(operation: String,path: String,+shape: List<&2,U32>,outcome: Outcome,+count: U32) -> Tensor():
142  Outcome{target,complete} = outcome
143  checked(complete,operation,path,shape,target,count)

Uses (6)

Used by (2)