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