A keymap acts as a menu if it has an @dfn{overall prompt string},
which is a string that appears as an element of the keymap.
A keymap acts as a menu if it has an @dfn{overall prompt string},
which is a string that appears as an element of the keymap.