def listed_values

stelliferous@0.0.2.0 · tensor.bend:207

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

207def listed_values(~Element: Data,status: Status,storage: Array<Element>,length: Nat) -> Result<&2,&2,Problem,List<&2,Element>>:
208  match status:
209    case Usable{}: Done{Storage.read_list(~Element,length,0,storage)}
210    case Failed{problem}: Fail{problem}