Skip to main content

response_summary

lean_ctx::core::context_kernel::response_evidence

Function response_summary 

Source 
pub fn response_summary() -> ResponseSummary
Expand description

Returns cumulative response evidence.