trusty (3) Set.delete_1.3kaya.gz

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.


       Set.Set (3kaya)
       Set.add_1 (3kaya)
       Set.array_1 (3kaya)
       Set.elem_1 (3kaya)
       Set.empty_1 (3kaya)
       Set.newSet (3kaya)