Provided by: libsdl3-doc_3.2.28+ds-1_all 

NAME
SDL_MouseID - This is a unique ID for a mouse for the time it is connected to the system, and is never
reused for the lifetime of the application.
SYNOPSIS
#include <SDL3/SDL_mouse.h>
typedef Uint32 SDL_MouseID;
DESCRIPTION
If the mouse is disconnected and reconnected, it will get a new ID.
The value 0 is an invalid ID.
AVAILABILITY
This datatype is available since SDL 3.2.0.
Simple Directmedia Layer SDL 3.2.28 SDL_MouseID(3type)