RelationGraph.project_erased: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph
Lines 128-130 of bendvy-ecs-core@0.1.0.3/relation_graph.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/relation_graph.bend&start_line=128&end_line=130

import Base
import relation_types.bend as T

def project_erased(-S: Data,graph: T.Graph<S>) -> T.SpecGraph<S>:
  match graph:
    case T.Graph{edges,_}: T.SpecGraph{edges}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=Graph
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/relation_types.bend&name=SpecGraph