def whole

stelliferous@0.0.2.0 · tensor_file.bend:127

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Buffers

127def whole(aligned: Bool,operation: String,path: String,+shape: List<&2,U32>,buffer: Buffers.Buffer<F32>,+found: U32,+count: U32) -> Tensor():
128  match aligned:
129    case False{}: fault(operation,path,"is not a whole number of FP32 values",shape)
130    case True{}: sized(U32.is_eq(found,count),operation,path,shape,buffer)