~/jendhub

def provision_left

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

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

65def provision_left(~S:Data,~World:Type,~right:World -> World & List<&2,SP.Requirement<S>>,result:World & List<&2,SP.Requirement<S>>) -> World & List<&2,SP.Requirement<S>>:
66  match result:
67    case (world,before):provision_right(~S,~World,before,right(world))

Uses (5)

Used by (1)