Commands.spawn_reserved: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/commands.bend as Commands
Lines 58-61 of bendvy-ecs-core@0.1.0.4/commands.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/commands.bend&start_line=58&end_line=61

import Base
import bendvy-ecs-core@0.1.0.4/trace_world.bend as TraceWorld
import bendvy-ecs-core@0.1.0.4/deferred_command.bend as Deferred
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
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_reserved(~S: Data,~C: Type,~R: Type,~E: Data,~P: Type,~populate: W.World<S,C,R,E> -> W.Handle<S> -> P -> W.World<S,C,R,E>,reservation: W.Reservation<S>,world: W.World<S,C,R,E>,undo: List<(W.World<S,C,R,E> -> W.World<S,C,R,E>)>,commands:List<Deferred.Command<W.World<S,C,R,E>>>,events: List<&2,E>,+trace:TraceFacts.State,payload: P) -> T.Tx<W.World<S,C,R,E>,E> & W.Reservation<S>:
  match reservation:
    case W.ReservationRejected{error}: (T.Tx{world,undo,commands,events,trace},W.ReservationRejected{error})
    case W.Reserved{+handle}: (track_pending(~S,~C,~R,~E,T.Tx{world,undo,spawn_command(~S,~C,~R,~E,~P,~populate,TraceFacts.enabled(trace),handle,payload) <> commands,events,TraceWorld.deferred(~S,trace,"spawn",TraceFacts.StageOperation{},handle,TraceFacts.Attempted{})},handle),W.Reserved{handle})

Uses (15):
  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=bendvy-ecs-core@0.1.0.4/commands.bend&name=spawn_command
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/commands.bend&name=track_pending
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/deferred_command.bend&name=Command
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=FactResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=enabled
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&name=deferred
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/transaction.bend&name=Tx
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle
  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