HashSet.subset-question-mark

You're seeing just the function subset-question-mark, go back to HashSet module for more information.
This function is deprecated. Use the MapSet module instead.