def buffers
stelliferous@0.0.2.0 · storage_clone.bend:6
import stelliferous@0.0.2.0/storage_clone.bend as StorageClone
import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend as CertificateClone
6def buffers(~Element: Data,+length: Nat,pair: Array<Element> & Array<Element>,certificates: CertificateClone.Copies<Element,pair>) -> Storage.Buffer<Element> & Storage.Buffer<Element>:
7 (left,right) = pair
8 CertificateClone.Copies{left_certificate,right_certificate} = certificates
9 (Storage.Buffer{left,length,left_certificate},Storage.Buffer{right,length,right_certificate})