Skip to main content

search_summary

lean_ctx::tools::search_kernel

Function search_summary 

Source 
pub fn search_summary() -> SearchSummary
Expand description

Returns cumulative search activity for the current session.