-- member functions of class BoundedBag
-- remember that arguments that are objects are put in braces
BBag gen ( int )
{BBag} add ( {BBag}, int )
{BBag} add_many ( {BBag}, int, int )
{BBag} remove ( {BBag}, int )
{BBag} remove_many ( {BBag}, int, int )
int max ( {BBag} )
int number ( {BBag}, int)
int size ( {BBag} )
boolean has ( {BBag}, int )
boolean empty ( {BBag} )
boolean full ( {BBag} )
boolean equal ( {BBag}, BBag )
-- print functions for error reporting
{} Javaprint (int)
{} Javaprint (boolean)
{} print ({BBag})
-- constant, defined in alias file
int MX