Stack Specification

A stack is either empty or it consists of two parts: The elements in a stack may be of any type, but all the elements in a given stack must be the same type.

The operations on stacks are:

create_stack

destroy_stack

is_empty

top

pop

push