Module Po_navigator


module Po_navigator: sig .. end
Extension of the GUI in order to navigate in Proof obligations. No function is exported.


type row = {
   wpo : Wpo.t;
   visible : bool;
}
module Prover_Column: sig .. end
module SelectionHook: Hook.Build(sig
type t = Wpo.t 
end)
val make_panel : Design.main_window_extension_points -> unit
val extend : Design.main_window_extension_points -> unit