RestoreGraphValidation.acyclic: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend as RestoreGraphValidation
Lines 48-50 of bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend&start_line=48&end_line=50

import Base
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as R
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G

def acyclic(~S:Data,+graph:G.Graph<S>,next:G.Graph<S> -> R.GraphResult<S>) -> R.GraphResult<S>:
  match graph:
    case G.Graph{+edges,+inverses}:cycles(~S,edges,G.Graph{edges,inverses},_ => next(G.Graph{edges,inverses}))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Graph
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_data.bend&name=GraphResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_validation.bend&name=cycles