StorageCloneCertificate.Copies: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend as StorageCloneCertificate
Lines 6-7 of stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend&start_line=6&end_line=7

import Base
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness

type Copies<-Element: Data,-pair: Array<Element> & Array<Element>> is Data:
  Copies{left: Certificate.Certificate<Element,TraversalWitness.first(~Array<Element>,~Array<Element>,pair)>,right: Certificate.Certificate<Element,TraversalWitness.second(~Array<Element>,~Array<Element>,pair)>}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  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/traversal_witness.bend&name=first
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/traversal_witness.bend&name=second