StorageClone.clone: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/storage_clone.bend as StorageClone
Lines 11-15 of stelliferous@0.0.2.0/storage_clone.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/storage_clone.bend&start_line=11&end_line=15

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.clone
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/storage_certificate.bend&name=Certificate
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend&name=clone
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&name=Buffer
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_clone.bend&name=buffers