Skip to main content

capabilities

lean_ctx::core::context_kernel::coverage_class

Function capabilities 

Source 
pub fn capabilities(class: CoverageClass) -> CoverageCapabilities
Expand description

Returns the operations available for a coverage class.