NotEmptySet
Creates a not empty set starting with a head and containing all the elements of the optional tail.
Parameters
E
The type of elements contained in this set.
Creates a not empty set starting with a head and containing all the elements of the optional tail.
The type of elements contained in this set.