Component.Replacement: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/component.bend as Component
Lines 25-30 of bendvy-ecs-core@0.1.0.3/component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/component.bend&start_line=25&end_line=30

import Base
import world.bend as W

# Immediate replacement result retaining World in every branch. Replaced returns
# the displaced actual payload owner; rejection returns the incoming optional owner
# and error. Neither Type payload is copied into detached observation data.
type Replacement<W: Type,C: Type> is Type:
  Replaced{world: W,previous: Maybe<&1,C>}
  ReplaceRejected{world: W,incoming: Maybe<&1,C>,error: W.WorldError}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=WorldError