Module GuiProof

module GuiProof: sig .. end

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