Function fmt_binrel_smt 

fn fmt_binrel_smt<T: Types>(
    rel: BinRel,
    e1: &Expr<T>,
    e2: &Expr<T>,
    f: &mut Formatter<'_>,
) -> Result