Concept definition

template<typename Op>
concept rpp::constraint::has_operator_disposables_strategy =  requires() {
        typename std::decay_t<Op>::template updated_optimal_disposables_strategy<typename details::observables::default_disposables_strategy>;
    } && details::observables::constraint::disposables_strategy<typename std::decay_t<Op>::template updated_optimal_disposables_strategy<typename details::observables::default_disposables_strategy>>