Documentation for the Bag Class
The documentation gives prototypes and specifications for the bag member functions.
Specifications are written as precondition/postcondition contracts.
Everything needed to use the Bag class is included in this comment.