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