Dictionary.remove
removekey
Group: Selections
Documentation
Removes an entry specified by the given key from this dictionary, and returns a new dictionary without this entry. Throw No_Such_Key.Error
if key
is not present.
Arguments
key
: The key to look up in the dictionary.
Examples
Remove key "A" from a dictionary
import Standard.Examples
Examples.dictionary.remove "A"