Function move_stackless_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.