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