<> <> <> DIRECTORY Rope: TYPE USING [ROPE], SMOps: TYPE USING [MS], SMTree: TYPE Tree USING [Link]; SMDF: CEDAR DEFINITIONS~{ OPEN Tree~~SMTree; WriteDFFile: PROC[ms: SMOps.MS, t: Tree.Link, modelFileName: Rope.ROPE] ~ INLINE {}; }.