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