Skip to main content

resolve_numeric_term

rapx::verify::loop_sensitivity

Function resolve_numeric_term 

Source 
fn resolve_numeric_term(
    term: NumericTerm,
    copy_sources: &FxHashMap<Local, Local>,
) -> NumericTerm
Expand description

Follow copy chains inside a numeric term.