selector
Has type Widget.selector
Widget.selector
inherit 'a signal
method set : 'a -> unit
method get : 'a
method send : ('a -> unit) -> unit -> unit
Frama-C