TraversalVisitWitness.Sample: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/traversal_visit_witness.bend as TraversalVisitWitness
Lines 8-9 of stelliferous@0.0.2.0/proofs/traversal_visit_witness.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/traversal_visit_witness.bend&start_line=8&end_line=9

import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal

type Sample<-Reader: Type,-Element: Data,-Context: Data,-reader: Reader,-result: Reader & Traversal.Visited<Context,Element>> is Data:
  Sample{context: Context,-value: Element,equation: {result == (reader,Traversal.Visited{context,value}) : Reader & Traversal.Visited<Context,Element>}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=Visited