ExecutionTrace.unsubscribe: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/execution_trace.bend as ExecutionTrace
Lines 50-54 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=50&end_line=54

import Base

# Consume the subscriber and return its actual State for reuse or explicit
# disposal. No implicit user cleanup/destructor callback is invoked.
def unsubscribe(~State:Type,~Error:Data,~step:State -> TraceEvent<Error> -> State,value:Subscriber<State,Error,step>) -> State:
  match value:
    case Subscriber{state}:state

Uses (2):
  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