fn fmt_function( f: &mut Formatter<'_>, fun: &str, distinct: bool, args: &[Expr], display: bool, ) -> Result