object method box : GObj.widget method label : string method name : string method on_destroy : unit method set_label : string -> unit end