'a Configwin_types.string_param -> GData.tooltips -> object val wview : GText.view method apply : unit method box : GObj.widget method private exec : string -> string -> unit -> unit end