proofs/storage_clone_certificate.bend checks

raw source on the hub · import stelliferous@0.0.2.0/proofs/storage_clone_certificate.bend as Storage_clone_certificate

4 imports

import Base
import ./storage_certificate.bend as Certificate
import ./storage_witness.bend as Witness
import ./traversal_witness.bend as TraversalWitness

Types

type Copies source · line 6 · raw

@-Element:Data -> @-pair:Pair(Array<Element>, Array<Element>) -> Data

Copies

@-Element:Data -> @-pair:Pair(Array<Element>, Array<Element>) -> @left:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.Certificate<Element, 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.first(Array<Element>, Array<Element>, pair)> -> @right:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.Certificate<Element, 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.second(Array<Element>, Array<Element>, pair)> -> Copies<Element, pair>

Templates

template clone source · line 9 · raw

@-Element:Data -> @-input:Array<Element> -> @evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.Certificate<Element, input> -> @left:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.Certificate<Element, input> -> @right:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_certificate.Certificate<Element, input> -> Copies<Element, Array.clone(Element, input)>