Module Print.Printer

module Printer: sig .. end

type t = string * Cil_datatype.Stmt.Hptset.t option Cil_datatype.Kinstr.Hashtbl.t 
module V: sig .. end
module E: sig .. end
val iter_vertex : (Cil_types.stmt * bool -> unit) ->
'a * 'b option Cil_datatype.Kinstr.Hashtbl.t -> unit
val iter_edges_e : ((Cil_types.stmt * bool) * (Cil_datatype.Stmt.Hptset.elt * bool) -> unit) ->
'a * Cil_datatype.Stmt.Hptset.t option Cil_datatype.Kinstr.Hashtbl.t -> unit
val vertex_name : Cil_types.stmt * 'a -> string
val graph_attributes : 'a * 'b -> [> `Label of 'a ] list
val default_vertex_attributes : 'a -> [> `Style of [> `Filled ] list ] list
val default_edge_attributes : 'a -> 'b list
val vertex_attributes : Cil_types.stmt * bool ->
[> `Fillcolor of int | `Label of string | `Shape of [> `Box ] ] list
val edge_attributes : 'a -> 'b list
val get_subgraph : 'a -> 'b option