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