RelationCleanupEngine.Progress: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend as RelationCleanupEngine
Lines 5-7 of bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend&start_line=5&end_line=7

import Base
import bendvy-ecs-core@0.1.0.3/relation_types.bend as G

type Progress<-S:Data,-State:Type> is Type:
  Complete{world:State}
  Incomplete{world:State,frames:List<&2,G.CleanupFrame<S>>}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=CleanupFrame