def stored

stelliferous@0.0.2.0 · tensor.bend:144

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

144def stored(~Element: Data,matches: Bool,storage: Storage.Buffer<Element>,+shape: List<&2,U32>,fill: Element) -> Tensor<Element>:
145  match matches:
146    case True{}: Tensor{storage,shape,fill,Usable{},1}
147    case False{}: Tensor{storage,shape,fill,Failed{Problem{"from_storage",InvalidShape{shape}}},1}