type Certificates
stelliferous@0.0.2.0 · proofs/traversal_certificate.bend:9
import stelliferous@0.0.2.0/proofs/traversal_certificate.bend as TraversalCertificate
import Base
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness
9type Certificates<-Reader: Type,-Element: Data,-ReaderCertificate: @-reader: Reader -> Data,
10 -result: Reader & Array<Element>> is Data:
11 Certificates{source: ReaderCertificate(TraversalWitness.first(~Reader,~Array<Element>,result)),
12 output: Certificate.Certificate<Element,TraversalWitness.second(~Reader,~Array<Element>,result)>}