/* 

StackPlus.h 
Author: W. M. Farmer
Revised: January 27, 2007

Description: Interface for the StackPlus module.

*/

#include <stdbool.h>


/* Interface */

#include "Stack.h" 

/* Mutators */
void stack_set_top(int element);
void stack_reset();

/* Predicates */
bool stack_is_empty();