def inverse_add_found_erased
bendvy-ecs-core@0.1.0.3 · relation_graph.bend:84
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
84def inverse_add_found_erased(-S: Data,found: Bool,other: T.Descriptor<S>,id: K.Key,+sources: List<&2,K.Key>,+descriptor: T.Descriptor<S>,target: K.Key,+source: K.Key,rest: List<&2,T.Inverse<S>>,next: Unit -> List<&2,T.Inverse<S>>) -> List<&2,T.Inverse<S>>:
85 match found:
86 case True{}: T.Inverse{other,id,appended_source(contains(sources,source),sources,source)} <> rest
87 case False{}: T.Inverse{other,id,sources} <> next(Unit{})