Column.mark: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/column.bend as Column
Lines 524-529 of bendvy-ecs-core@0.1.0.3/column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&start_line=524&end_line=529

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

def mark(~S: Data,~C: Type,column: Column<S,C>,+id: U32,incoming: Bool,wasPresent: Bool,tick: Tick.Tick) -> Column<S,C>:
  match column:
    case Column{values,+stamps}: Column{values,L.set(stamps,id,L.after_write(incoming,wasPresent,L.get(stamps,id),tick))}
    case Prepared{carrier}: mark_state(~S,~C,id,incoming,wasPresent,tick,unseal(~S,~C,carrier))
    case Indexed{carrier}: indexed_mark_state(~S,~C,id,incoming,wasPresent,tick,indexed_unseal(~S,~C,carrier))
    case PreparedIndexed{carrier}: indexed_prepared_mark_state(~S,~C,id,incoming,wasPresent,tick,indexed_prepared_unseal(~S,~C,carrier))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=indexed_mark_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=indexed_prepared_mark_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=indexed_prepared_unseal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=indexed_unseal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=mark_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/column.bend&name=unseal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifecycle.bend&name=after_write
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifecycle.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifecycle.bend&name=set