Animated GIF Demo (VEXcode) has an attached gifdemo.zip file with full example code. When you unzip it, you will find gifdemo.h and gifdemo.cpp files as the part of the project. If you open the main file, you will see an include statement at the top that imports vex::Gif class with
#include "gifdemo.h"