Function fmt_func 

fn fmt_func<T: Types>(
    params: usize,
    sort: &Sort<T>,
    f: &mut Formatter<'_>,
) -> Result