treedef.m

用YACC实现的一个小的编译工具

// Define a data type Tree.

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