Build a description of the
The
The
Macro:
(defmacro xdoc::desc-apt-input-verify-guards (&key (plural-functions 't) additional-text) (declare (xargs :guard (booleanp plural-functions))) (cons 'xdoc::desc (cons '"@(':verify-guards') — default @(':auto')" (cons (cons 'xdoc::p (cons '"Determines whether the guards of the generated " (cons (if plural-functions "functions" "functions") '(" are verified or not.")))) (cons '(xdoc::p "It must be one of the following:") (cons '(xdoc::ul (xdoc::li "@('t'), to verify the guards.") (xdoc::li "@('nil'), to not verify guards.") (xdoc::li "@(':auto'), to verify the guards if and only if the guards of the target function @('old') are verified.")) (and additional-text (list additional-text))))))))