Module Smtgraph.Make.Dot

module Dot: sig .. end

Pretty print to dot graphviz format.

val fprint_graph : Format.formatter -> t -> unit

val output_graph : Pervasives.out_channel -> t -> unit