def reset

bendvy-ecs-core@0.1.0.4 · execution_trace.bend:55

import Base

55# Replace subscription state and return the displaced actual owner separately.
56# Neither owner is copied or silently restored into ECS storage.
57def reset(~State:Type,~Error:Data,~step:State -> TraceEvent<Error> -> State,value:Subscriber<State,Error,step>,incoming:State) -> Subscriber<State,Error,step> & State:
58  match value:
59    case Subscriber{state}:(Subscriber{incoming},state)