TraversalCertificate.Certificates: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/traversal_certificate.bend as TraversalCertificate
Lines 9-12 of stelliferous@0.0.2.0/proofs/traversal_certificate.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/traversal_certificate.bend&start_line=9&end_line=12

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

type Certificates<-Reader: Type,-Element: Data,-ReaderCertificate: @-reader: Reader -> Data,
  -result: Reader & Array<Element>> is Data:
  Certificates{source: ReaderCertificate(TraversalWitness.first(~Reader,~Array<Element>,result)),
    output: Certificate.Certificate<Element,TraversalWitness.second(~Reader,~Array<Element>,result)>}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/storage_certificate.bend&name=Certificate
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/traversal_witness.bend&name=first
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/traversal_witness.bend&name=second