~/bend-docscommunity

storage_clone.bend checks

raw source on the hub · import stelliferous@0.0.2.0/storage_clone.bend as Storage_clone

4 imports
import Base
import ./storage_buffer.bend as Storage
import ./proofs/storage_certificate.bend as Certificate
import ./proofs/storage_clone_certificate.bend as CertificateClone

Templates

template buffers source · line 6 · raw

@-Element:Data -> @+length:Nat -> @pair:Pair(Array<Element>, Array<Element>) -> @certificates:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_clone_certificate.Copies<Element, pair> -> Pair(0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>)

template clone source · line 11 · raw

@-Element:Data -> @input:0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element> -> Pair(0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>)