def inverse_remove_one_erased
bendvy-ecs-core@0.1.0.3 · relation_graph.bend:66
import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph
import Base
import entity_key.bend as K
import relation_types.bend as T
66def inverse_remove_one_erased(-S: Data,matched: Bool,descriptor: T.Descriptor<S>,target: K.Key,sources: List<&2,K.Key>,source: K.Key,rest: List<&2,T.Inverse<S>>) -> List<&2,T.Inverse<S>>:
67 match matched:
68 case True{}: nonempty_inverse_erased(S,descriptor,target,remove_id(sources,source),rest)
69 case False{}: T.Inverse{descriptor,target,sources} <> rest