<> <> <> <<>> DIRECTORY CD USING [Instance, Design], Rope USING [ROPE]; DraculaOps: CEDAR DEFINITIONS ~ BEGIN DRCInstance: PROC [instance: CD.Instance, design: CD.Design, rules: Rope.ROPE] RETURNS [reportMsg: Rope.ROPE _ NIL, hasErrors: BOOLEAN _ TRUE]; <> <<>> END.