OrdinaryServiceDeclaration.Slot: 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 10-16 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=10&end_line=16

import Base

# One operational binding supplies identity, slot ownership, availability and call.
# No host IO, sharing, cleanup or callback-failure recovery contract is added.
# Actual service payload ownership: Missing has no P; Ready retains affine P.
# This is provisioned resource state, not proof that external host IO will succeed.
type Slot<P:Type> is Type:
  Missing{}
  BendvyReady{owner:P}

Uses (0):