Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Py.SetSourceInterface for Python values of type Set.
Wrapper for PySet_Clear
Wrapper for PySet_Contains
Wrapper for PySet_Discard
Wrapper for PySet_Size
to_list o returns the list of all elements in Python set o.
to_list_map f o returns the list of f v for all elements v in Python set o.
of_list l returns then Python set containing all elements from l.