TraceWorld.deferred: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/trace_world.bend as TraceWorld
Lines 15-18 of bendvy-ecs-core@0.1.0.4/trace_world.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&start_line=15&end_line=18

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

def deferred(~S:Data,state:Facts.State,key:String,operation:Facts.Operation,target:W.Handle<S>,result:Facts.FactResult) -> Facts.State:
  match state:
    case Facts.Off{}:Facts.Off{}
    case Facts.On{facts}:Facts.On{Facts.Fact{Facts.DeferredCommand{},key,operation,Some{handle(~S,target)},Facts.OpaqueValue{},Facts.OpaqueValue{},result} <> facts}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=Category
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_facts.bend&name=Fact
  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=Value
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/trace_world.bend&name=handle
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=Handle