TraversalCellsRefinement.Observed: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/traversal_cells_refinement.bend as TraversalCellsRefinement
Lines 54-55 of stelliferous@0.0.2.0/proofs/traversal_cells_refinement.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/traversal_cells_refinement.bend&start_line=54&end_line=55

import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

type Observed<-Model: Type,-Cell: Data,-Context: Data> is Type:
  Observed{values: Model,scratch: Tree.Tree<Cell>,position: U32,slot: U32,context: Context}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/storage_tree_model.bend&name=Tree