<> <> <> DIRECTORY IO: TYPE USING [STREAM], Rope: TYPE USING [ROPE], SMOps: TYPE USING [MS], SMTree: TYPE Tree USING [Link]; SMBcd: CEDAR DEFINITIONS~{ OPEN Tree~~SMTree; ReadModelBcdPrefix: PROC[ms: SMOps.MS, input: IO.STREAM]; <> WriteModelBcd: PROC[ms: SMOps.MS, t: Tree.Link, bcdFileName: Rope.ROPE]; }.