keys

Command: keys


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

Author
Ruediger Kupper

First Version: 27-jun-2008

Synopsis

dict keys -> array
<> keys -> [/key1 ... /keyn]

Examples

<< /a 1 /b 2>> keys -> [/a /b]

File
sli/slidict.cc
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.