type Replacement

bendvy-ecs-core@0.1.0.3 · component.bend:25

import Base
import world.bend as W

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