object
  method descr : string
  method id : string
  method search :
    (Wp.Strategy.strategy -> unit) -> Wp.Conditions.sequent -> unit
  method title : string
end