module GuiTactic: sig .. end
sig
end
class type composer = object .. end
object
class type browser = object .. end
class tactic : Tactical.t -> (Format.formatter -> Tactical.selection -> unit) -> object .. end
Tactical.t -> (Format.formatter -> Tactical.selection -> unit) ->
class strategies : unit -> object .. end
unit ->