module Cg_viewer: sig
.. end
val ($) : ('a -> 'b) -> 'a -> 'b
type
service_id = int
module Model: Dgraph.DGraphModel.Make
(
Register.Service.TP
)
class [[Register.Service.vertex, Register.Service.CallG.E.t, 'a]]
service_view : GnomeCanvas.canvas Gtk.obj -> (Register.Service.vertex, Register.Service.CallG.E.t, 'a)
Dgraph.DGraphModel.abstract_model -> 'b ->
object
.. end
val service_view : ?aa:bool ->
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
Dgraph.DGraphModel.abstract_model ->
'b ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
service_view
val scrolled_view : packing:(GObj.widget -> unit) ->
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
Dgraph.DGraphModel.abstract_model ->
'b ->
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
service_view * GPack.table
val create_graph_win : string ->
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
Dgraph.DGraphModel.abstract_model ->
'b ->
GWindow.window *
(Register.Service.vertex, Register.Service.CallG.E.t, 'a)
service_view
val show_graph_win : 'a -> unit
val main : < actions : GAction.action_group;
ui_manager : < add_ui_from_string : string -> 'a; .. >; .. > ->
unit