Notes There are two kinds of nodes in the abstract syntax tree (AST): declaration and expression. The root is the tree is always a module. All expression nodes implement the interface Exp. All declaration nodes implement the interface Dec. References Standard ML grammar