Dot (astral.Astral_internal.DependencyGraph.Dot)

val fprint_graph : 
  Stdlib.Format.formatter ->
  Graph__Persistent.Digraph.ConcreteBidirectional(Astral_internal.InductiveDefinition).t ->
  unit

val output_graph : 
  Stdlib.out_channel ->
  Graph__Persistent.Digraph.ConcreteBidirectional(Astral_internal.InductiveDefinition).t ->
  unit