Function: edit_ticket
This tool belongs to the ticketing system that is part of a company, which allows users to create, view, and manage support business tickets. Tool description: Modify the details of an existing ticket.
Parameters: ticket_id: type: integer
description: ID of the ticket to be changed.
updates: type: dict
description: Dictionary containing the fields to be updated. - title (str) : [Optional] New title for the ticket. 
properties: description: type: string
description: New description for the ticket.
status: type: string
description: New status for the ticket.
priority: type: integer
description: New priority for the ticket.
Required parameters: ticket_id, updates
Response: status: type: string
description: Status of the update operation.