Module Occurrence_gui

module Register_gui : sig ... end

Extension of the GUI for the occurrence plugin.