module Po_navigator:Extension of the GUI in order to navigate in Proof obligations. No function is exported.sig
..end
type
row = {
|
wpo : |
|
visible : |
module Prover_Column:sig
..end
module SelectionHook:Hook.Build
(
sig
typet =
Wpo.t
end
)
val make_panel : Design.main_window_extension_points -> unit
val extend : Design.main_window_extension_points -> unit