Printer.DOT
val fprint_graph : Stdlib.Format.formatter -> CFG4DOT.t -> unit
val output_graph : Stdlib.out_channel -> CFG4DOT.t -> unit