~/bend-docscommunity

storage_copy.bend checks

raw source on the hub · import stelliferous@0.0.2.0/storage_copy.bend as Storage_copy

Internal contiguous ranges. Callers establish bounds; the shared copy proof and storage certificates cover the actual loop without a per-element check.

6 imports
import Base
import ./storage_buffer.bend as Storage
import ./tensor_view.bend as Views
import ./tensor_access.bend as Access
import ./tensor_operations.bend as Operations
import ./proofs/tensor_access_certificate.bend as AccessCertificate

Templates

template range source · line 10 · raw

@-Element:Data -> @+count:U32 -> @+source:U32 -> @+destination:U32 -> @input:0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element> -> @output:0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element> -> Pair(0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.Buffer<Element>)