object val mutable exported : 'a option val mutable wptasks : WpStrategy.strategy list list method add : WpStrategy.strategy list -> unit method compute : Wpo.t list end