Previous
Up
Next
Module
Gui_parameters
module
Gui_parameters:
sig
..
end
include
Plugin.S
module
Undo
:
Plugin.BOOL