val create_hints :
< annotation : GEdit.text;
annotation_hints : < children : < as_widget : 'a Gtk.obj; .. > list;
- connect : < clicked : (unit -> unit) -> GtkSignal.id;
+ connect : < clicked : callback:(unit -> unit) -> GtkSignal.id;
.. >;
misc : < disconnect : GtkSignal.id -> 'b;
hide : unit -> 'c; show : unit -> 'd; .. >;
.. >
array;
.. > ->
- 'e * (string, Cic.anntarget) Hashtbl.t -> string -> unit
+ (Cic.id, Cic.anntarget) Hashtbl.t -> string -> unit