<> <> <> DIRECTORY Core2; CoreOps2: CEDAR DEFINITIONS = BEGIN OPEN Core2; GetCellTypeName: PROC [ct: CellType] RETURNS [name: ROPE] = INLINE {name _ ct.names.first}; IsMirror: PROC [v: Vertex] RETURNS [isMirror: BOOL]; END.