Our specification is about a single abstract data type STACK, describing stacks of objects of an arbitrary type G.

• 我们的规格是关于一个单一的抽象数据类型STACK，它描述了一个任意G类型对象的栈。