def sized

stelliferous@0.0.2.0 · tensor_file.bend:122

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

122def sized(matches: Bool,operation: String,path: String,+shape: List<&2,U32>,buffer: Buffers.Buffer<F32>) -> Tensor():
123  match matches:
124    case True{}: Tensors.from_storage(~F32,shape,buffer,0.0)
125    case False{}: fault(operation,path,"does not hold the values of the shape",shape)