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. |