RestoreGraphWorld.graph_joined: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_graph_world.bend as RestoreGraphWorld
Lines 23-25 of bendvy-ecs-core@0.1.0.4/restore_graph_world.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_world.bend&start_line=23&end_line=25

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as Init
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Relation
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

def graph_joined(~S:Data,~C:Type,~Resources:Type,~Machines:Type,~E:Data,~clear:Machines -> Machines,~install:Machines -> List<&2,D.Field> -> Machines,fields:List<&2,D.Field>,result:W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E> & Unit) -> Installed<W.World<S,Relation.Store<S,C>,Product.Owner<Resources,Machines>,E>>:
  match result:
    case (world,_):joined(~S,~C,~Resources,~Machines,~E,Init.with_resource(~S,~Relation.Store<S,C>,~Product.Owner<Resources,Machines>,~E,~Unit,(owner => machines(~Resources,~Machines,~clear,~install,fields,owner)),world))

Uses (12):
  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=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend&name=with_resource
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owner_product.bend&name=Owner
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_commands.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_world.bend&name=Installed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_world.bend&name=joined
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_world.bend&name=machines
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World