def read_cell

bendvy-ecs-core@0.1.0.4 · local.bend:49

import bendvy-ecs-core@0.1.0.4/local.bend as Local
import Base

49def read_cell(~L: Type,~V: Data,~project: L -> L & V,cell: Cell<L>) -> Cell<L> & V:
50  match cell:
51    case Cell{local}: projected(~L,~V,project(local))

Uses (3)

Used by (2)