GuiConfig.provers ->
object
  method coerce : GObj.widget
  method select : Wpo.t option -> unit
  method update : unit
end