Type Definition GetPointerMappingCookie
clipboard_x11
type GetPointerMappingCookie<'a> = Cookie<'a, xcb_get_pointer_mapping_cookie_t>;