按照函数式语言coq思想 用C程序实现的树的实现 非常简单，但很启迪思路 C的函数指针的妙用-Coq thinking in accordance with the functional language C program tree Very simple, but very thought- The magical effect of the C function pointers