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