def project

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

import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph
import Base
import relation_types.bend as T

182def project(~S: Data,graph: T.Graph<S>) -> T.SpecGraph<S>:
183  project_erased(S,graph)

Uses (3)

Used by (0)

No other definition uses this definition.