Skip to main content

coverage_label

lean_ctx::core::context_kernel::coverage_class

Function coverage_label 

Source 
pub fn coverage_label(class: CoverageClass) -> &'static str
Expand description

Returns the stable machine-readable label for a coverage class.