Set.equal-question-mark
You're seeing just the function
equal-question-mark
, go back to Set module for more information.
This function is deprecated. Use the MapSet module for working with sets.