Function bytecode::global_invariant_analysis::get_info

source · 
pub fn get_info<'env>(
    target: &FunctionTarget<'env>
) -> &'env PerFunctionRelevance
Expand description

Get verification information for this function.