BaseLogic.Dot
val fprint_graph : Stdlib.Format.formatter -> DotConfig.t -> unit
val output_graph : Stdlib.out_channel -> DotConfig.t -> unit