# Functor Graphviz.Dot

    module Dot: functor (X : sig

    Graph implementation. Sub-signature of Sig.G

    type t

    module V: sig .. endmodule E: sig .. endval iter_vertex : (V.t -> unit) -> t -> unitval iter_edges_e : (E.t -> unit) -> t -> unit

    Graph, vertex and edge attributes.

    val graph_attributes : t -> Graphviz.DotAttributes.graph listval default_vertex_attributes : t -> Graphviz.DotAttributes.vertex listval vertex_name : V.t -> stringval vertex_attributes : V.t -> Graphviz.DotAttributes.vertex listval get_subgraph : V.t -> Graphviz.DotAttributes.subgraph option
    The box (if exists) which the vertex belongs to. Boxes with same
    	   names are not distinguished and so they should have the same
    	   attributes.

    val default_edge_attributes : t -> Graphviz.DotAttributes.edge listval edge_attributes : E.t -> Graphviz.DotAttributes.edge listend) -> sig .. end

Parameters:

`X`

:

`sig (** Graph implementation. Sub-signature of {!Sig.G} *) type t module V : sig type t end module E : sig type t val src : t -> V.t val dst : t -> V.t end val iter_vertex : (V.t -> unit) -> t -> unit val iter_edges_e : (E.t -> unit) -> t -> unit (** Graph, vertex and edge attributes. *) val graph_attributes: t -> DotAttributes.graph list val default_vertex_attributes: t -> DotAttributes.vertex list val vertex_name : V.t -> string val vertex_attributes: V.t -> DotAttributes.vertex list val get_subgraph : V.t -> DotAttributes.subgraph option (** The box (if exists) which the vertex belongs to. Boxes with same names are not distinguished and so they should have the same attributes. *) val default_edge_attributes: t -> DotAttributes.edge list val edge_attributes: E.t -> DotAttributes.edge list end`

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

`fprint_graph ppf graph` pretty prints the graph `graph` in the CGL language on the formatter `ppf`.

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

`output_graph oc graph` pretty prints the graph `graph` in the dot language on the channel `oc`.