DeferredCommand.run: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/deferred_command.bend as DeferredCommand
Lines 8-11 of bendvy-ecs-core@0.1.0.3/deferred_command.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/deferred_command.bend&start_line=8&end_line=11

import Base
import bendvy-ecs-core@0.1.0.3/trace_facts.bend as Facts

def run(~W:Type,command:Command<W>,world:W,trace:Facts.State) -> W & Facts.State:
  match command:
    case Raw{apply}:(apply(world),trace)
    case Observed{apply}:apply(trace,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=bendvy-ecs-core@0.1.0.3/deferred_command.bend&name=Command
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=State