Searched defs:results_filters_ (Results 1 – 2 of 2) sorted by relevance
182 const cli::result_types& results_filters_) : in console_hooks()
266 const cli::result_types& results_filters_) : in html_hooks()