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