Module Wp_gui.GuiSequent

class focused : Frama_c_gui.Wtext.text -> object ... end