Remove an entry from a dictionary
Void delete( Dict<a, b> dict, a key )
dict A dictionary
a The key of the entry to remove.
Remove the entry with the given key from the dictionary.
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
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.
Dict.Dict (3kaya)
Dict.add (3kaya)
Dict.empty (3kaya)
Dict.entries (3kaya)
Dict.exists (3kaya)
Dict.keys (3kaya)
Dict.lookup (3kaya)
Dict.new (3kaya)
Dict.vals (3kaya)