<> <> <> <> <<>> <> <<>> DIRECTORY CD USING [Design, Layer, Transformation], IO USING [STREAM], Rope USING [ROPE]; CifToCD: CEDAR DEFINITIONS ~ BEGIN RegisterLayer: PROC [regKey: ATOM, cifName: Rope.ROPE, cdLayer: CD.Layer, compensation: INT _ 0] RETURNS [found: BOOLEAN]; <> ReadFile: PROC [cifFile: IO.STREAM, design: CD.Design, regKey: ATOM, basicTransf: CD.Transformation _ [], cifPerLambda: INT _ 100, commented: BOOLEAN _ FALSE] RETURNS [errMsg: Rope.ROPE]; <<>> END.