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