treedef.m

来自「用YACC实现的一个小的编译工具」· M 代码 · 共 7 行

// Define a data type Tree.

domain Tree {
   node(int val, Tree left, Tree right)
   empty()
}