<> <> <> <<>> <> <<>> DIRECTORY CD USING [Design, Instance], IO USING [STREAM], Rope USING [ROPE]; CDToCif: CEDAR DEFINITIONS ~ BEGIN WriteCIF: PROC [design: CD.Design, mainInst: CD.Instance, cifFile: IO.STREAM, cifPerLambda: INT, flattenAtomics: BOOL _ FALSE] RETURNS [errMsg: Rope.ROPE]; <> <<>> END.