This function checks if the values a and b are equal.
For all types but arrays, multisets and mappings, this operation is
the same as doing a == b
.
For arrays, mappings and multisets however, their contents are checked
recursively, and if all their contents are the same and in the same
place, they are considered equal.