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