Rename .eq_fun to .eq in conf vals of HASH_MAP and HASH_SET
Working on the branch issue_0040057-rename-eq_fun-to-eq.
Closed by the commit 959bb573a560012b76b3db6ee11a9e8d1209e455
Rename .eq_fun to .eq in conf vals of HASH_MAP and HASH_SET