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