def from_list

stelliferous@0.0.2.0 · storage_buffer.bend:14

import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate

14def from_list(~Element: Data,+values: List<&2,Element>,+depth: Nat,+fallback: Element,length: Nat) -> Buffer<Element>:
15  Buffer{Traversal.write_list(~Element,values,0,Array.new(Element,depth,fallback)),length,
16    Certificate.write_list(~Element,values,0,Array.new(Element,depth,fallback),Certificate.allocated(Element,depth,fallback))}