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
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