def scope_owner

bendvy-ecs-core@0.1.0.3 · execution_schema_provisioning.bend:41

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_provider.bend as ScopeProvider
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as ScopeStore

41def scope_owner(~S:Data,~key:String,namespace:U32,_:Unit) -> Layout.resources(~S,ScopeProvider.layout(~S,key)):
42  Layout.ResourceSlot{Layout.initialize(ScopeProvider.layout(~S,key),Layout.AtLeaf{},ScopeStore.fresh(~S,namespace)),Layout.unknown_stamp()}