spade_mir::diff_printing

Function translate_val_name

Source 
pub fn translate_val_name<LF, LG, RF, RG>(
    name: &ValueName,
    lhs_trans: &NameTranslator<LF, LG>,
    rhs_trans: &NameTranslator<RF, RG>,
) -> String
where
    LF: Fn(ExprID) -> Option<ExprID>,
    LG: Fn(u64) -> Option<u64>,
    RF: Fn(ExprID) -> Option<ExprID>,
    RG: Fn(u64) -> Option<u64>,