widget
method set_visible : bool -> unit
method set_enabled : bool -> unit
method coerce : GObj.widget
method widget : widget
Frama-C