OrdinaryMachineInitialization.inserted_world: def of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend as OrdinaryMachineInitialization Lines 68-70 of bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization.bend&start_line=68&end_line=70 import Base import bendvy-ecs-core@0.1.0.4/world.bend as W def inserted_world(~S:Data,~C:Type,~R:Type,~E:Data,pair:W.World & Unit) -> W.World: match pair: case (world,_):world Uses (4): 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/world.bend&name=World