put_d - Add an entry to a dictionary
<<dict>> /key val -> <<dict>>
userdict /a 1 put_d
<< >> /a 1 put_d
put_d adds the pair /key value to the supplied dictionary.
If /key was already defined in that dictionary, its old
value is lost.
In contrast to PostScript dictionaries, only literal names can
be used as keys in a dictionary.
dict - a dictionary
/key - a literal name
val - an object of arbitrary type
No errors are raised.
Marc-Oliver Gewaltig
/var/www/debian/nest/nest-simulator-2.20.0/sli/slidict.cc