Remove an element from a hashset.
Void delete( HashSet<a> set, a key )
set The set to delete from
val The value to delete
Remove an element from a HashSet. If the value is not in the set, does nothing.
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.
Set.HashSet (3kaya)
Set.add (3kaya)
Set.array (3kaya)
Set.elem (3kaya)
Set.empty (3kaya)
Set.newHashSet (3kaya)