请说出二叉树ADT的定义和声明

二叉树ADT（Abstract Data Type）定义如下：

1. 创建一个二叉树
2. 销毁一个二叉树
3. 清空一个二叉树
4. 返回二叉树的根节点
5. 判断二叉树是否为空
6. 求二叉树的深度
7. 求二叉树的节点数
8. 求二叉树的叶子节点数
9. 求二叉树第k层节点数
10. 查找节点值为value的节点
11. 插入节点
12. 删除节点
13. 遍历二叉树

声明如下：

typedef struct biTreeNode
{
    int data;
    struct biTreeNode* lChild;
    struct biTreeNode* rChild;
}TreeNode,*BiTree;

其中，BiTree为指向二叉树根节点的指针，TreeNode为二叉树节点结构体，其中包含节点数据data和左右子树指针lChild,rChild。