module Gui_parameters: sig .. end
sig
end
GUI as a plug-in.
include Plugin.S
module Project_name: Parameter_sig.String
Parameter_sig.String
Option -gui-project.
module Undo: Parameter_sig.Bool
Parameter_sig.Bool
Option -undo.