Previous
Up
Next
Module
GuiProof
module
GuiProof:
sig
..
end
class
printer
:
Wtext.text
->
object
..
end