DeferredCommand.Command: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/deferred_command.bend as DeferredCommand
Lines 4-7 of bendvy-ecs-core@0.1.0.4/deferred_command.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/deferred_command.bend&start_line=4&end_line=7

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

# Each staged command owns its payload once. Trusted raw callbacks stay opaque.
type Command<W:Type> is Type:
  Raw{apply:W -> W}
  Observed{apply:Facts.State -> W -> W & Facts.State}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=State