【教学课件】第6章递归类型

- 第6章 递归类型 - 递归定义的类型的例子自然数表的类型 类型等式 t  unit + (nat  t)的一个解二叉树的类型 类型等式 t  unit + (t 