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