Wp_gui.GuiSequent
type env = Wp.Plang.Env.t
type 'a printer = 'a Qed.Plib.printer
type target
class focused : Frama_c_gui.Wtext.text -> object ... end