spade_mir::diff_printing

Function translate_statement

Source 
pub fn translate_statement<LF, LG, RF, RG>(
    statement: &Statement,
    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>,