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