Dict.delete_13kaya
Remove an entry from a tiny dictionary
Usage
Void delete( TinyDict<a, b> dict, a key )
Arguments
dict A tiny dictionary
a The key of the entry to remove.
Overview
Remove the entry with the given key from the tiny dictionary.
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.