RestoreLifecycle.spawn_committed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_lifecycle.bend as RestoreLifecycle
Lines 32-34 of bendvy-ecs-core@0.1.0.4/restore_lifecycle.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_lifecycle.bend&start_line=32&end_line=34

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

def spawn_committed(~S:Data,~C:Type,~Resources:Type,~E:Data,reservation:W.Reservation<S>,observed:T.Returned<W.World<S,C,Resources,E>,Unit>) -> W.World<S,C,Resources,E> & W.Reservation<S>:
  match observed:
    case T.Returned{world,_}:(W.barrier(~S,~C,~Resources,~E,world),reservation)

Uses (7):
  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/transaction.bend&name=Returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Reservation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=barrier