二叉树的抽象类型定义

二叉树是一种树形结构，其中每个节点最多有两个子节点，通常称为左子节点和右子节点。二叉树的抽象类型定义如下：

ADT BinTree:
# 一个二叉树抽象数据类型
BinTree(self, data, left, right) # 构造操作,创建一个新二叉树
is_empty(self) # 判断self是否为一个空二叉树
num_nodes(self) # 求二叉树的结点个数
data(self) # 获取二叉树根存储的数据
left(self) # 获取二叉树的左子树
right(self) # 获取二叉树的右子树
set_left(self, btree) # 用btree取代原来的左子树
set_right(self, btree) # 用btree取代原来的右子树
traversal(self) # 遍历二叉树中各结点数据的迭代器
forall(self, op) # 对二叉树中的每个结点的数据执行操作op

其中，BinTree操作用于创建一个新的二叉树，需要提供根节点的数据、左子树和右子树。is_empty操作用于判断二叉树是否为空。num_nodes操作用于计算二叉树中节点的数量。data操作用于获取二叉树根节点存储的数据。left和right操作用于获取二叉树的左子树和右子树。set_left和set_right操作用于用新的二叉树替换原来的左子树和右子树。traversal操作用于遍历二叉树中各节点数据的迭代器。forall操作用于对二叉树中的每个节点的数据执行操作op。