Dot
module V : sig ... end
module E : sig ... end
module G : Graph.Sig.G with type V.t = V.t and type E.t = V.t * E.t * V.t
val output_to_dot : Stdlib.out_channel -> ?labeling:V.t labeling -> ?wto:V.t Wto.partition -> G.t -> unit
Frama-C