Frama-C API - source_completion_proposal_signals
method after : < after : 'a ; changed : callback:(unit -> unit) -> GtkSignal.id ; notify_icon : callback:(GdkPixbuf.pixbuf -> unit) -> GtkSignal.id ; notify_info : callback:(string -> unit) -> GtkSignal.id ; notify_label : callback:(string -> unit) -> GtkSignal.id ; notify_markup : callback:(string -> unit) -> GtkSignal.id ; notify_text : callback:(string -> unit) -> GtkSignal.id.. > as 'amethod changed : callback:(unit -> unit) -> GtkSignal.idmethod notify_icon : callback:(GdkPixbuf.pixbuf -> unit) -> GtkSignal.idmethod notify_info : callback:(string -> unit) -> GtkSignal.idmethod notify_label : callback:(string -> unit) -> GtkSignal.idmethod notify_markup : callback:(string -> unit) -> GtkSignal.idmethod notify_text : callback:(string -> unit) -> GtkSignal.id 