def checked

stelliferous@0.0.2.0 · tensor_file.bend:136

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

136def checked(complete: Bool,operation: String,path: String,+shape: List<&2,U32>,target: Target,+count: U32) -> Tensor():
137  match complete:
138    case False{}: fault(operation,path,"cannot be read",shape)
139    case True{}: aligned(operation,path,shape,target,count)

Uses (8)

Used by (1)

stelliferous@0.0.2.0/tensor_file:loaded