Previous
Up
Next
Module
Register_gui
module
Register_gui:
sig
..
end
Extension of the GUI in order to support slicing visualization. No function is exported.