let string_of_symbol ?arity s = string_of_t (pp_print_symbol ?arity) s