ChunkColumn.vacancy_restored: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/chunk_column.bend as ChunkColumn
Lines 48-53 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=48&end_line=53

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

# Actual presence only; None distinguishes unavailable/malformed leaf storage.
# Bounds use actual array lengths before any affine cell is temporarily moved.
def vacancy_restored(-S:Data,-C:Type,stamps:Array<L.Stamp>,index:U32,result:Array<Maybe<&1,C>> & Maybe<&1,C>) -> Column<S,C> & Maybe<&2,Bool>:
  match result:
    case (values,None{}):(Leaf{values,stamps},Some{True{}})
    case (values,Some{owner}):(Leaf{Array.set(Maybe<&1,C>,values,index,Some{owner}),stamps},Some{False{}})

Uses (9):
  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=Bool
  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