<> <> DIRECTORY Core; Lichen: CEDAR DEFINITIONS = { Compare: PROC [ctA, ctB: Core.CellType--of class Record--] RETURNS [isomorphic: BOOL]; GetAssociate: PROC [ce1: CircuitElement] RETURNS [ce2: CircuitElement]; <> CircuitElement: TYPE = REF ANY --actually UNION [Core.Wire, Core.CellInstance]--; }.