toggle
inherit action
inherit bool selector
method set_icon : icon -> unit
method set_label : string -> unit
method set_border : bool -> unit
Frama-C