<> <> <> DIRECTORY ChipStructure; ChipStatic: CEDAR DEFINITIONS = BEGIN <> <> <> Design: TYPE = ChipStructure.Design; CheckDesign: PROC [design: Design]; END.