Constant GDK_DEVICE_TOOL_TYPE_BRUSH 

pub const GDK_DEVICE_TOOL_TYPE_BRUSH: GdkDeviceToolType = 3;