Set.delete_1(3kaya)

Set.delete_13kaya

Remove an element from a set.

Usage

Void delete( var Set<a> set, a val )

Arguments

set The set to delete from

val The value to delete

Overview

Remove an element from a Set. If the value is not in the set, does nothing.

Releases

4 releases since Debian 5.0 (Lenny); the text changed 3 times.

  1. 5.0
  2. 6.0
  3. 7
  4. 8

Authors

Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). 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.

From kaya 0.4.4-6.2 in Debian 8 (Jessie). Parsed by carta from the page's man source.