Tag type to identify a pointer_jumping skeleton. More...
Tag type to identify a pointer_jumping skeleton.