type Observed

stelliferous@0.0.2.0 · proofs/traversal_cells_refinement.bend:54

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

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