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)