restart-name

(restart-name restart)

The name (a symbol or keyword) of a restart object obtained from find-restart or compute-restarts.