Flexible Rules
Home Publications Examples Downloads API Overview API Doc Tutorials

remove key


(remove key key from dict)
(remove key key from prop)


Removes the key key from the dictionary dict, resp. from the dictionary stored in the property prop and returns the new dictionary.


(new var myDict as {"player1": 10 , "player2":20})
(remove key "player2" 
	from myDict) -->  {player1=10}

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