Type Definition gdk_sys::GdkDeviceToolType

type GdkDeviceToolType = c_int;