ExecutionTrace.reset: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/execution_trace.bend as ExecutionTrace
Lines 55-59 of bendvy-ecs-core@0.1.0.4/execution_trace.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&start_line=55&end_line=59

import Base

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

Uses (4):
  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=bendvy-ecs-core@0.1.0.4/execution_trace.bend&name=Subscriber
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&name=TraceEvent