Module GuiNavigator

module GuiNavigator: sig .. end

val make : Design.main_window_extension_points -> unit