Dict.empty_13kaya
Check if a tiny dictionary is empty
Usage
Bool empty( TinyDict<a, b> dict )
Arguments
dict A tiny dictionary
Overview
Returns true if the dictionary has no contents, either because none were added, or because all added entries have been deleted.
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.