RecoverableComponent.stamped: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/recoverable_component.bend as RecoverableComponent
Lines 26-28 of bendvy-ecs-core@0.1.0.4/recoverable_component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&start_line=26&end_line=28

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/component.bend as C
import bendvy-ecs-core@0.1.0.4/lifecycle.bend as Life

def stamped(~S:Data,~P:Type,~R:Type,~E:Data,name:String,+handle:W.Handle<S>,incoming:Maybe<P>,observed:W.World<S,Col.Column<S,P>,R,E> & Life.Stamp) -> Replacement<W.World<S,Col.Column<S,P>,R,E>,S,P>:
  match observed:
    case (world,stamp):replaced(~S,~P,~R,~E,handle,stamp,C.replace(~S,~Col.Column<S,P>,~R,~E,~Unit,~P,~Unit,~Tag,~take(~S,~P),~put(~S,~P),~project(~P),family(~S,~P,~R,~E,name),world,handle,incoming))

Uses (17):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/component.bend&name=replace
  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/recoverable_component.bend&name=Replacement
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=Tag
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=family
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=project
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=put
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=replaced
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_component.bend&name=take
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World