module Printer:
type
t = Reason_graph.reason_graph
module V: sig
.. end
module E: sig
.. end
val node_kf : PdgTypes.Node.Map.key -> Cil_types.kernel_function
val keep_edge : PdgTypes.Node.Map.key * PdgTypes.Node.Map.key * 'a -> bool
val iter_vertex : (NodeSet.elt -> unit) -> Reason_graph.Reason.Set.t -> unit
val iter_edges_e : (Reason_graph.Reason.Set.elt -> unit) -> Reason_graph.Reason.Set.t -> unit
val vertex_name : PdgTypes.Node.t -> string
val graph_attributes : 'a -> [> `Label of string ] list
val default_vertex_attributes : 'a -> [> `Shape of [> `Box ] | `Style of [> `Filled ] ] list
val default_edge_attributes : 'a -> 'b list
val vertex_attributes : PdgTypes.Node.t ->
[> `Color of int | `Label of string | `Shape of [> `Diamond ] ] list
val edge_attributes : 'a * 'b * Reason_graph.reason_type ->
[> `Color of int | `Label of string ] list
val get_subgraph : PdgTypes.Node.Map.key -> Graph.Graphviz.DotAttributes.subgraph option