Dictionary displays

A dictionary display is a possibly empty series of key/datum pairs enclosed in curly braces:

Syntax:

{ … }

dict_display ::= “{” [[key_datum_l