Skip to main content

is_addressable

lean_ctx::core::context_kernel::coverage_class

Function is_addressable 

Source 
pub fn is_addressable(class: CoverageClass) -> bool
Expand description

Returns whether lean-ctx can directly modify context for the client.