RelationCleanupEngine.drive: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend as RelationCleanupEngine
Lines 14-18 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=14&end_line=18

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

def drive(~S:Data,~State:Type,~step:Step(~S,~State),fuel: Nat,frames: List<&2,G.CleanupFrame<S>>,world: State,+namespace: U32,+descriptors: List<&2,G.Descriptor<S>>) -> Progress<S,State>:
  match fuel frames:
    case _ Nil{}: Complete{world}
    case 0n frames: Incomplete{world,frames}
    case 1n+rest Con{frame,frames}: resumed_generic(S,State,step(frame,world,namespace,descriptors,frames),world => frames => drive(~S,~State,~step,rest,frames,world,namespace,descriptors))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend&name=Progress
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_cleanup_engine.bend&name=resumed_generic
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=CleanupFrame
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Descriptor