Up
–
frama-c
»
Frama_c_gui
»
Widget
» checkbox
Class
Widget.checkbox
inherit
action
inherit
bool
selector
method
set_label :
string
->
unit