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