OrdinaryServiceDeclaration.Declaration: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as OrdinaryServiceDeclaration
Lines 17-21 of bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend&start_line=17&end_line=21

import Base

# Trusted service binding joins id/key with one resource slot lens and P -> P call.
# The same binding drives requirements, availability and invocation; strings alone
# do not grant arbitrary host access. take/put/call must thread actual owners.
type Declaration<-S:Data,-R:Type,-P:Type,-Rest:Type,-take:R -> Rest & Slot<P>,-put:Rest -> Slot<P> -> R,-call:P -> P> is Data:
  Declaration{id:U32,key:String}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend&name=Slot