抽象数据类型

abstract data type