class [['a, 'b, 'c]] highlight_focus_view : GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model -> [['a, 'b, 'c]] view
[['a, 'b, 'c]]
GnomeCanvas.canvas Gtk.obj -> ('a, 'b, 'c) DGraphModel.abstract_model ->
view