Skip to main content

integration_overhead

lean_ctx::core::context_kernel::hotpath_wiring

Function integration_overhead 

Source 
pub fn integration_overhead(integration: &KernelIntegration) -> usize
Expand description

Returns the kernel token overhead recorded for an integration.