Module Register_gui

module Register_gui: sig .. end

Extension of the GUI in order to support slicing visualization. No function is exported.