Set.delete_1.3kaya

Langue: en

Version: March 2009 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

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.

Set.Set(3kaya)

Set.add_1(3kaya)

Set.array_1(3kaya)

Set.elem_1(3kaya)

Set.empty_1(3kaya)

Set.newSet(3kaya)