Function fmt_expr_smt 

fn fmt_expr_smt<T: Types>(expr: &Expr<T>, f: &mut Formatter<'_>) -> Result