Header file for the Deque