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.