+ Invoke the active restart named @<restart>, associated with the given
+ @<condition>, passing a list of @<arguments>.
+
+ The function attempts to find and invoke a restart with the given name. If
+ @<condition> is non-nil, then it searches among restarts associated with
+ that specific condition, and restarts associated with no condition; if
+ @<condition> is nil, then it searches among all restarts.
+
+ If a matching restart is found, it is invoked, passing the @<arguments>
+ list. Otherwise, an error (of class @|control-error|) is signalled.
+\end{describe}
+
+\begin{describe*}
+ {\dhead{cls}{enclosing-condition (condition) \&key :condition}
+ \dhead{gf}{enclosed-condition @<enclosing-condition> @> @<condition>}}
+ An @|enclosing condition| is a condition which contains another condition
+ within it. Objects of type @|enclosing-condition| are used to add
+ additional information to an existing condition, or to alter the type of a
+ condition without losing information.
+
+ When an @|enclosing-condition| is constructed, the @<condition> argument
+ names the existing condition to be enclosed. This enclosed condition can
+ be retrieved by calling @|enclosed-condition|.
+\end{describe*}
+
+\begin{describe}{cls}{information (condition) \&key}
+ A condition of class @|information| conveys information which might be of
+ interest, but does not of itself indicate that anything is wrong.
+
+ Within a compiler, @|information| conditions may be signalled in order to
+ present the user with additional diagnostic information about a recently
+ reported error.
+\end{describe}
+
+\begin{describe}{cls}
+ {simple-information (simple-condition information) \\ \ind
+ \&key :format-control :format-arguments}
+ This is the obvious multiply-inherited subclass of @|information|
+ whose print-representation is determined by a @<format-control> and a
+ @<format-arguments> list.
+\end{describe}
+
+\begin{describe*}
+ {\dhead{fun}{info @<datum> \&rest @<arguments> @> @<flag>}
+ \dhead{rst}{noted}
+ \dhead{fun}{noted \&optional @<condition>}}
+ The @|info| function establishes a restart named @|noted| and signals a
+ condition of default type @|simple-information|, designated by the @<datum>
+ and @<arguments>. The @|info| function returns non-nil if and only if the
+ associated @|noted| restart was invoked.
+
+ The @|noted| restart accepts no arguments.
+
+ The @|noted| function finds and invokes a @|noted| restart: if @<condition>
+ is non-nil, then only the restart associated with that condition (and those
+ not associated with any condition) are considered; otherwise, all
+ conditions are considered.
+\end{describe*}
+
+\begin{describe}{fun}
+ {promiscuous-cerror @<continue-string> @<datum> \&rest @<arguments>}
+ Establish a @|continue| restart and signal an error of default type
+ @|simple-error|, designated by @<datum> and @<arguments>. The restart's
+ report format is determined by @<continue-string> and the @<arguments>.
+
+ Some implementations of @|cerror| associate the @|continue| restart which
+ they establish with the condition they signal. This interferes with
+ special effects -- specifically, enclosing the signalled condition and
+ resignalling it. The @|promiscuous-cerror| function carefully avoids
+ associating its restart with the condition.
+\end{describe}
+
+\begin{describe}{fun}{cerror* @<datum> \&rest @<arguments>}
+ A simplified version of \descref{fun}{promiscuous-cerror} which uses the
+ hardcoded string @|Continue| for the restart. This makes calling the
+ function more similar to other condition-signalling functions, at the
+ expense of some usability in environments which don't continue after
+ continuable errors automatically.