Dictionary displays

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

Syntax:

{}

dict_display ::= “{” [[key_datum_l