Provided by: kaya_0.4.4-6ubuntu3_amd64 bug

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)