def clone

stelliferous@0.0.2.0 · storage_clone.bend:11

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend as CertificateClone

11def clone(~Element: Data,input: Storage.Buffer<Element>) -> Storage.Buffer<Element> & Storage.Buffer<Element>:
12  Storage.Buffer{input,length,certificate} = input
13  Certificate.Certificate{+depth,+equation} = certificate
14  buffers(~Element,length,Array.clone(Element,input),CertificateClone.clone(~Element,input,
15    Certificate.Certificate{depth,equation},Certificate.Certificate{depth,equation},Certificate.Certificate{depth,equation}))