Module Po_navigator.Prover_Column


module Prover_Column: sig .. end

val column_tbl : (int, Wpo.prover) Hashtbl.t
val get : GTree.view_column -> Wpo.prover option
val register : < misc : < get_oid : int; .. >; .. > -> Wpo.prover -> unit