RelationReorderCore.replaced_erased: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend as RelationReorderCore
Lines 47-51 of bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_reorder_core.bend&start_line=47&end_line=51

import Base
import entity_key.bend as K
import relation_types.bend as T

# Maintained inverse reorder changes only the selected inverse entry.
def replaced_erased(-S: Data,found: Bool,entry: T.Inverse<S>,sources: List<&2,K.Key>,rest: List<&2,T.Inverse<S>>) -> List<&2,T.Inverse<S>>:
  match found entry:
    case True{} T.Inverse{d,parent,_}: T.Inverse{d,parent,sources} <> rest
    case False{} entry: entry <> rest

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Inverse