一种抽象数据类型包括（）和（）两个部分。