RowColumn.replacement_present: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/row_column.bend as RowColumn
Lines 56-58 of bendvy-ecs-core@0.1.0.4/row_column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&start_line=56&end_line=58

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

def replacement_present(~S:Data,~C:Type,+id:U32,+stamp:L.Stamp,cold:Cold<S,C>,incoming:C,+tick:Tick.Tick,observed:Maybe<&1,C> & Bool) -> Replacement<S,C>:
  match observed:
    case (previous,present): Replaced{Taken{id,Some{incoming},L.after_write(True{},present,stamp,tick),True{},cold},previous,stamp}

Uses (11):
  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.4/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/lifecycle.bend&name=Stamp
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/lifecycle.bend&name=after_write
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&name=Cold
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/row_column.bend&name=Replacement