Skip to main content

dispatch_summary

lean_ctx::core::context_kernel::evidence_wiring

Function dispatch_summary 

Source 
pub fn dispatch_summary() -> DispatchSummary
Expand description

Returns cumulative dispatch-boundary evidence totals.