def clone

stelliferous@0.0.2.0 · proofs/storage_clone_certificate.bend:9

import Base
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness

9def clone(~Element: Data,-input: Array<Element>,evidence: Certificate.Certificate<Element,input>,left: Certificate.Certificate<Element,input>,right: Certificate.Certificate<Element,input>) ->
10  Copies<Element,Array.clone(Element,input)>:
11  Certificate.Certificate{+depth,equation} = evidence
12  %Equal.sym(Array<Element> & Array<Element>,Array.clone(Element,input),(input,input),
13    Witness.clone(Element,depth,input,Certificate.witness_at(Element,depth,input,equation))) : Copies<Element,_>
14  Copies{left,right}