type Slot

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

import Base

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