main:Design.main_window_extension_points ->
filter:GuiNavigator.filter Toolbox.selector ->
next:Toolbox.button ->
prev:Toolbox.button ->
index:Toolbox.button ->
clear:Toolbox.button ->
card:GuiNavigator.card Toolbox.selector ->
list:GuiList.pane ->
goal:GuiGoal.pane ->
source:GuiSource.highlighter ->
popup:GuiSource.popup ->
object
  val mutable currentgoal : Wpo.t option
  val mutable focus : GuiNavigator.focus
  method private clear : unit -> unit
  method private details : unit
  method private move : (int -> int) -> unit
  method private navigator : bool -> Wpo.t option -> unit
  method private next : unit -> unit
  method private prev : unit -> unit
  method private prove : Wpo.t -> VCS.prover -> unit
  method reload : unit -> unit
  method private set_filter : GuiNavigator.filter -> unit
  method private set_focus : GuiNavigator.focus -> unit
  method private set_selection : GuiSource.selection -> unit
  method update : unit -> unit
end