def empty_provide

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution_recipe.bend:39

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend as OrdinaryAppExecutionRecipe

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

39# Empty provisioning returns World unchanged and no schedule requirements.
40def empty_provide(~S:Data,~World:Type,world:World) -> World & List<&2,SP.Requirement<S>>:
41  (world,[])

Uses (4)

Used by (7)