def edge_removed_erased

bendvy-ecs-core@0.1.0.3 · relation_graph.bend:46

import Base
import relation_types.bend as T

46def edge_removed_erased(-S: Data,remove: Bool,edge: T.Edge<S>,rest: List<&2,T.Edge<S>>) -> List<&2,T.Edge<S>>:
47  match remove:
48    case True{}: rest
49    case False{}: edge <> rest