Provided by: kaya_0.4.4-6ubuntu3_amd64 

NAME
Set::delete - Remove an element from a Set.
SYNOPSIS
Void delete( var Set<a> set, a val )
ARGUMENTS
set The set to delete from
val The value to delete
DESCRIPTION
Remove an element from a Set. If the value is not in the set, does nothing.
AUTHORS
Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further
information see http://kayalang.org/
LICENSE
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.
RELATED
Set.Set (3kaya)
Set.add_1 (3kaya)
Set.array_1 (3kaya)
Set.elem_1 (3kaya)
Set.empty_1 (3kaya)
Set.newSet (3kaya)
Kaya July 2013 Set.delete(3kaya)