Module GuiSequent

module GuiSequent: sig .. end

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