Module Widget (.ml)


module Widget: sig .. end
Some generic tools for building GUIs


Image manipulations


module Image: sig .. end
Module for managing images.

Dynamic submenus


module DynamicSubmenu: sig .. end
Module for building dynamic submenus.

ComboText Trees


module ComboTextTree: sig .. end
Module for building a set (structured in a tree hierarchy) of dependent combo texts.
class textview : ?view:GText.view -> unit -> object .. end