let pp_userdef_descr fmt d =
      if d.d_formals <> [] then
        begin
          Format.fprintf fmt "Signature:" ;
          pp_userformals fmt d.d_formals ;
        end