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