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