Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Py.Set
SourceInterface 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
.