Dict.delete_1 (3kaya)

Void delete( TinyDict<a, b> dict, a key )

dict A tiny dictionary

a The key of the entry to remove.

Remove the entry with the given key from the tiny 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.TinyDict (3kaya)

Dict.add_1 (3kaya)

Dict.empty_1 (3kaya)

Dict.entries_1 (3kaya)

Dict.exists_1 (3kaya)

Dict.keys_1 (3kaya)

Dict.lookup_1 (3kaya)

Dict.newTiny (3kaya)

Dict.vals_1 (3kaya)