module GuiNavigator: sig .. end
sig
end
val make : Design.main_window_extension_points -> unit
Design.main_window_extension_points -> unit