def remove_previous_erased
bendvy-ecs-core@0.1.0.3 · relation_graph.bend:76
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
76def remove_previous_erased(-S: Data,previous: Maybe<&2,K.Key>,entries: List<&2,T.Inverse<S>>,descriptor: T.Descriptor<S>,source: K.Key) -> List<&2,T.Inverse<S>>:
77 match previous:
78 case None{}: entries
79 case Some{target}: inverse_remove_erased(S,entries,descriptor,target,source)