RelationCleanupControl.Intent: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_cleanup_control.bend as RelationCleanupControl
Lines 5-12 of bendvy-ecs-core@0.1.0.3/relation_cleanup_control.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_cleanup_control.bend&start_line=5&end_line=12

import Base
import bendvy-ecs-core@0.1.0.3/relation_types.bend as T
import bendvy-ecs-core@0.1.0.3/entity_key.bend as Key

# Both storage adapters execute this same cleanup continuation. Intents carry
# identities and descriptors only; they contain no World mutator or owner.
type Intent<-S:Data> is Data:
  Check{key:Key.Key,descriptors:List<&2,T.Descriptor<S>>,frames:List<&2,T.CleanupFrame<S>>}
  Observe{key:Key.Key,descriptor:T.Descriptor<S>,remaining:List<&2,T.Descriptor<S>>,frames:List<&2,T.CleanupFrame<S>>}
  Unrelate{key:Key.Key,descriptor:T.Descriptor<S>,frames:List<&2,T.CleanupFrame<S>>}
  Finish{key:Key.Key,frames:List<&2,T.CleanupFrame<S>>}
  Continue{frames:List<&2,T.CleanupFrame<S>>}

Uses (4):
  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/entity_key.bend&name=Key
  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