Up
–
frama-c-wp
»
Wp_gui
» GuiSequent
Module
Wp_gui.GuiSequent
class
focused
:
Frama_c_gui.Wtext.text
->
object
...
end