Name:keys - Return array of keys in a dictionary
Synopsis:
dict keys -> array
<> keys -> [/key1 ... /keyn]
Examples:
<< /a 1 /b 2>> keys -> [/a /b]
Description:
"keys" converts the keys in a given dictionary to an array.
The order of elements is the same as for the "values" command.
Parameters:
dict is a dictionary which may be empty
Diagnostics:
no errors are issued.
Remarks:
The commands "keys" and "values" return the same order of
elements, when applied to the same dictionary. Apart from that,
there is no particular order of elements in the returned array.
Author:
Ruediger Kupper
First Version: 27-jun-2008
SeeAlso:
Source:/builddir/build/BUILD/nest-simulator-2.14.0/sli/slidict.cc