<> <> <> DIRECTORY IO: TYPE USING [STREAM], SMCommentTableOps: TYPE USING [CommentM], SMOps: TYPE USING [MS], SMTree: TYPE Tree USING [Link]; SMUtil: CEDAR DEFINITIONS ~ { OPEN Tree~~SMTree; <> ParseStream: PROC[m: SMOps.MS, source: IO.STREAM] RETURNS[root: Tree.Link]; <> PrintTree: PROC[m: SMOps.MS, t: Tree.Link]; PrintSubTree: PROC[out: IO.STREAM, t: Tree.Link, nBlanks: NAT_0]; <> PrettyPrint: PROC[ out: IO.STREAM, root: Tree.Link, comments: SMCommentTableOps.CommentM]; }.