keys

Synopsis:

(keys dict)

Description:

Returns the list of keys of the dictionary dict.

Example:

(keys {"a" : 1, "b" : 2, "c" : 3})   --->  ["a" "b" "c"] 

Contact: Fulvio Frapolli (fulvio . frapolli //at// unifr . ch), Amos Brocco (amos . brocco //at// unifr . ch)
* Remove spaces and replace //at// with @