<> <> <> <> <> DIRECTORY CD USING [Design, Instance, Number, Rect], Rope USING [ROPE]; ViaFlatness: CEDAR DEFINITIONS ~ BEGIN <> <> Rule: TYPE ~ RECORD [extent: CD.Number, msg: Rope.ROPE]; ErrorList: TYPE ~ LIST OF RECORD [rule: Rule, where: CD.Rect]; Verify: PROC [c: CD.Instance, d: CD.Design _ NIL, abort: REF BOOL _ NIL] RETURNS [errors: ErrorList, errorTotal: INT] <> END.