module Custop_installation:Names of installation directories, completed by the configure script.sig
..end
val glade_dir : string
val software_version : string
val glade_file : string
class default_main_gui :?file:string -> unit ->
object
..end