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