<HEAD> <TITLE> keys - return an array of the keys from the (key, value) pairs in a mapping </TITLE> </HEAD> <BODY BACKGROUND=http://www.imaginary.com/~beek/gifs/bg.jpg TEXT=#000000 ALINK=#FFFF00 VLINK=#550000 LINK=#000099> <center> <H1> keys - return an array of the keys from the (key, value) pairs in a mapping </H1> </center>
<p>
<b> array keys( mapping m ); </b>
<p>
keys() returns an array of keys (indices) corresponding to the keys in
the (key, value) pairs stored in the mapping m.
<p>
For example, if:
<p>
<pre>
mapping m;
m = (["hp" : 35, "sp" : 42, "mass" : 100]);
</pre>
<p>
then
<p>
<pre>
keys(m) == ({"hp", "sp", "mass"})
</pre>
<p>
Note: the keys will not be returned in any apparent order. However, they
will be returned in the same order as the corresponding values (returned
by the values() efun).
<p>
See also:
<A HREF=values.html> values </A>
<p>