Skip to main content

adaptive_summary

lean_ctx::core::context_kernel::adaptive_bridge

Function adaptive_summary 

Source 
pub fn adaptive_summary() -> AdaptiveSummary
Expand description

Returns the current adaptive compression state.