type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_service_declaration.bend:17

import Base

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