<> <> <> DIRECTORY IO: TYPE USING [STREAM], SMOps: TYPE USING [MS], SMTree: TYPE Tree USING [Link]; SMComp: CEDAR DEFINITIONS ~ { OPEN Tree~~SMTree; CompileAll: PROC[ms: SMOps.MS, t: Tree.Link, replace: BOOL] RETURNS[completed: BOOL]; LoadCompiler: PROC[out: IO.STREAM] RETURNS[success: BOOL]; }.