def read_dictionary

bendvy-ecs-core@0.1.0.3 · execution_resource_interpreter.bend:40

import Base
import bendvy-ecs-core@0.1.0.3/execution_resource_access.bend as A
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State

40# Closed ordinary framework dictionary; callers select no independent grants.
41def read_dictionary(~S:Data,~C:Type,~R:Type,~full:L.Layout,~route:L.Route,~valid:{L.grant_valid(~full,~route) == True{} : Bool},~local:{R == L.resources(~S,full) : Type}) -> A.Reader<State.Scope<S,C,R>,L.view(full,route)>:
42  read_caps(~S,~C,~R,~full,~route,local)