ExecutionState.window: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_state.bend as ExecutionState
Lines 36-39 of bendvy-ecs-core@0.1.0.3/execution_state.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&start_line=36&end_line=39

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

# The cursor belongs to this admitted system, independently of the shared clock.
def window(~S:Data,~C:Type,~R:Type,scope:Scope<S,C,R>,prior:Maybe<&2,Tick.Tick>) -> Scope<S,C,R>:
  match scope:
    case Scope{store,resource,handles,tick,_,+lifecycleView}:Scope{store,resource,handles,tick,prior,lifecycleView}

Uses (3):
  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/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_state.bend&name=Scope