sig 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 end