GuiSequent.focused -> object method clear : unit method connect : (unit -> unit) -> unit method print : GuiTactic.composer -> quit:(unit -> unit) -> Format.formatter -> unit end