def read_scope_taken

bendvy-ecs-core@0.1.0.3 · execution_layout_access.bend:97

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State
import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as Notice
import bendvy-ecs-core@0.1.0.3/world.bend as W

97def read_scope_taken(-S:Data,-C:Type,-R:Type,-P:Type,-Rest:Type,-V:Data,put:Rest -> P -> R,project:P -> P & V,store:C,handles:List<&2,W.Handle<S>>,tick:Tick.Tick,prior:Maybe<&2,Tick.Tick>,notices:Notice.View<S>,result:Rest & P) -> State.Scope<S,C,R> & V:
98  match result:
99    case (rest,part):read_scope_returned(S,C,R,P,Rest,V,put,store,handles,tick,prior,rest,notices,project(part))