type Buffer

stelliferous@0.0.2.0 · storage_buffer.bend:6

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

6type Buffer<-Element: Data> is Type:
7  Buffer{storage: Array<Element>,length: Nat,certificate: Certificate.Certificate<Element,storage>}