lispdoc - results for with-simple-restart

(with-simple-restart (restart-name format-string &rest format-arguments) &body
 forms)
Function: (WITH-SIMPLE-RESTART (restart-name format-string format-arguments) body) If restart-name is not invoked, then all values returned by forms are returned. If control is transferred to this restart, it immediately returns the values NIL and T.
 Mentioned in:
CLtL2 - 29.4.7. Establishing Restarts
HyperSpec - Macro WITH-SIMPLE-RESTART