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