`sig
val print_widget : Format.formatter -> #GObj.widget -> unit
class ['a] memo :
unit ->
object
constraint 'a = < get_oid : int; .. >
val tbl : (int, 'a) Hashtbl.t
method add : 'a -> unit
method find : GObj.widget -> 'a
method remove : GObj.widget -> unit
end
val next_callback_id : unit -> GtkSignal.id
class ['a] signal :
unit ->
object
val mutable callbacks : (GtkSignal.id * ('a -> unit)) list
method call : 'a -> unit
method callbacks : (GtkSignal.id * ('a -> unit)) list
method connect : after:bool -> callback:('a -> unit) -> GtkSignal.id
method disconnect : GtkSignal.id -> bool
end
class virtual ml_signals :
(GtkSignal.id -> bool) list ->
object ('a)
val after : bool
val mutable disconnectors : (GtkSignal.id -> bool) list
method after : 'a
method disconnect : GtkSignal.id -> unit
end
class virtual add_ml_signals :
'a Gtk.obj ->
(GtkSignal.id -> bool) list ->
object
val mutable disconnectors : (GtkSignal.id -> bool) list
method disconnect : GtkSignal.id -> unit
end
class ['a] variable_signals :
set:'a GUtil.signal ->
changed:'a GUtil.signal ->
object ('b)
val after : bool
val mutable disconnectors : (GtkSignal.id -> bool) list
method after : 'b
method changed : callback:('a -> unit) -> GtkSignal.id
method disconnect : GtkSignal.id -> unit
method set : callback:('a -> unit) -> GtkSignal.id
end
class ['a] variable :
'a ->
object
val changed : 'a GUtil.signal
val set : 'a GUtil.signal
val mutable x : 'a
method connect : 'a GUtil.variable_signals
method private equal : 'a -> 'a -> bool
method get : 'a
method private real_set : 'a -> unit
method set : 'a -> unit
end
end`