ChunkColumn.take_leaf_done: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/chunk_column.bend as ChunkColumn
Lines 220-226 of bendvy-ecs-core@0.1.0.3/chunk_column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&start_line=220&end_line=226

import Base
import bendvy-ecs-core@0.1.0.3/lifecycle.bend as L

# Unlike the template-specialized write operations, this removal accepts an
# ordinary irrelevant payload Type so a canonical heterogeneous schema fold can
# return every actual owner. It never grows storage and clears the same stamps
# as swap_at(..., None, ...), including an already absent in-range component.
def take_leaf_done(-S:Data,-C:Type,stamps:Array<L.Stamp>,index:U32,result:Array<Maybe<&1,C>> & Maybe<&1,C>) -> Column<S,C> & Maybe<&1,C>:
  match result:
    case (values,previous):(Leaf{values,Array.set(L.Stamp,stamps,index,L.Stamp{None{},None{}})},previous)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifecycle.bend&name=Stamp