GuiConfig.provers
inherit 'a Frama_c_gui.Widget.signal
method set : 'a -> unit
method get : 'a
method send : ( 'a -> unit ) -> unit -> unit
send f calls f with the current value via the signal lock.
send f
f