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