
end
88
end
Description
Pops the top-most dictionary from the dictionary stack.
Usage
end
Comments
The end operator removes dictionaries from the dictionary stack placed there by the begin opera-
tor. The begin operator discussion also covers the end operator.