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