Dictionary.at
atkey
Group: Selections
Documentation
Gets the value associated with key
in this dictionary, or throws a No_Such_Key.Error
if key
is not present. This method has a constant time complexity.
Arguments
key
: The key to look up in the dictionary.
Examples
Looks up the value for the key "A" in a dictionary.
import Standard.Examples
example_at = Examples.dictionary.at "A"