Type Definition gdk_sys::GdkDeviceType

type GdkDeviceType = c_int;