end - Close the current (topmost) dictionary.
- end -> -
Closes the current dictionary by removing the top element
of the dictionary stack.
Note that end cannot pop the dictionary stack beyond the two
standard dictionaries systemdict and userdict. If this is tried,
a DictStackUnderflow Error is raised.
DictStackUnderflow
/var/www/debian/nest/nest-simulator-2.20.0/sli/slidict.cc