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