Module Wp_gui.GuiProof

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