void GestureDoubleTapCallback()

Signature for callback when the user has tapped the screen at the same location twice in quick succession.

Source 

typedef void GestureDoubleTapCallback();