StorageWitness.ArrayWitness: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/storage_witness.bend as StorageWitness
Lines 191-193 of stelliferous@0.0.2.0/proofs/storage_witness.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/storage_witness.bend&start_line=191&end_line=193

import Base

# Existential depth travels with proof data, not numerical storage.
type ArrayWitness<-Element: Data,-storage: Array<Element>> is Data:
  ArrayWitness{depth: Nat,witness: Witness(Element,depth,storage)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/storage_witness.bend&name=Witness