let pp_print_term ppf t = Term.T.pp_print_term_w pp_print_symbol Var.pp_print_var pp_print_sort ppf t