ExecutionRelationResourcePublication.slot: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_relation_resource_publication.bend as ExecutionRelationResourcePublication
Lines 11-16 of bendvy-ecs-core@0.1.0.3/execution_relation_resource_publication.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_relation_resource_publication.bend&start_line=11&end_line=16

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

# These casts use supplied forward schema/payload/view equalities. No layout is
# inferred from P, R, a string key, a cursor, or an entity index.
def slot(~S:Data,~key:String,~origin:Layout.Layout,~FromP:Type,~ToP:Type,~FromV:Data,~ToV:Data,payload:{FromP == ToP : Type},view:{FromV == ToV : Data},value:Layout.ResourceSlot<S,Layout.Viewed<FromP,FromV>,key,origin>) -> Layout.ResourceSlot<S,Layout.Viewed<ToP,ToV>,key,origin>:
  %payload : Layout.ResourceSlot<S,Layout.Viewed<_,ToV>,key,origin>
  %view : Layout.ResourceSlot<S,Layout.Viewed<FromP,_>,key,origin>
  value

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=ResourceSlot
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Viewed