OrdinaryServiceDeclaration.provision: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as OrdinaryServiceDeclaration
Lines 90-93 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=90&end_line=93

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

# Advanced preflight adapter deriving currently provided requirements via scan.
# Returns World; readiness is based on actual slots rather than a second key list.
def provision(~S:Data,~C:Type,~R:Type,~E:Data,~scan:W.World<S,C,R,E> -> W.World<S,C,R,E> & List<&2,Status<S>>,world:W.World<S,C,R,E>) -> W.World<S,C,R,E> & List<&2,SP.Requirement<S>>:
  provisioned(~S,~C,~R,~E,scan(world))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend&name=Status
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend&name=provisioned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/schedule_provision.bend&name=Requirement
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World