Module Cg_viewer

module Cg_viewer: sig .. end

val ($) : ('a -> 'b) -> 'a -> 'b
type service_id = int 
module Service_view: Dgraph.DGraphContainer.Make(Services.Graphviz_attributes)
class services_view : < iter_edges_e : (Services.G.E.t Dgraph.DGraphViewItem.view_item -> unit) ->
unit;
iter_nodes : (Services.G.V.t Dgraph.DGraphViewItem.view_item -> unit) -> 'a;
iter_succ_e : (Services.G.E.t Dgraph.DGraphViewItem.view_item -> unit) ->
Services.G.V.t Dgraph.DGraphViewItem.view_item -> unit;
.. > ->
object .. end
val services_view : (Service_view.GView.vertex, Service_view.GView.edge,
Service_view.GView.cluster)
Dgraph.DGraphModel.abstract_model ->
(Service_view.GView.vertex, Service_view.GView.edge,
Service_view.GView.cluster)
Dgraph.DGraphView.view
val make_service_view : packing:(GObj.widget -> unit) ->
unit -> Service_view.view_container
module Cg_view: Dgraph.DGraphContainer.Make(Cg.Graphviz_attributes)
val make_cg_view : ?root:Cg.Graphviz_attributes.vertex ->
packing:(GObj.widget -> unit) -> unit -> Cg_view.view_container
val make_graph_view : ?root:Cg.Graphviz_attributes.vertex ->
bool ->
packing:(GObj.widget -> unit) -> unit -> < adapt_zoom : unit -> unit >
val has_entry_point : unit -> bool
val can_show_service_graph : unit -> bool
val get_current_function : unit -> Cil_types.kernel_function option
val warn_degrade : string -> unit
exception Found_vertex of bool
val main : Design.main_window_extension_points -> unit