type Copies
stelliferous@0.0.2.0 · proofs/storage_clone_certificate.bend:6
import stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend as StorageCloneCertificate
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
6type Copies<-Element: Data,-pair: Array<Element> & Array<Element>> is Data:
7 Copies{left: Certificate.Certificate<Element,TraversalWitness.first(~Array<Element>,~Array<Element>,pair)>,right: Certificate.Certificate<Element,TraversalWitness.second(~Array<Element>,~Array<Element>,pair)>}