| class NAMEMAP |
|---|
| **** | Mapping $OB -> STR, with special knowledge about compiler entities' equality conventions. In particular, SIGs do not use object equality. |
| FMAP{_,_} | $STR | AREF{_} |
| key_eq(k1,k2:$OB):BOOL |
|---|
| **** | See comments in fmap.sa for the subtleties of redefining this. |