provers
inherit 'a Frama_c_gui.Widget.signal
listen to all sets.
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
Frama-C Frama-C