~/jendhub

def observe_gather

stelliferous@0.0.2.0 · proofs/traversal_cells_refinement.bend:61

import stelliferous@0.0.2.0/proofs/traversal_cells_refinement.bend as TraversalCellsRefinement
import Base

61def observe_gather(~Owner: Type,~Model: Type,~Cell: Data,~project: Owner -> Model,result: Owner & Cell) -> Model & Cell:
62  (owner,cell) = result
63  (project(owner),cell)

Uses (2)

Used by (1)