		Search-engine friendly clone of the ACL2 documentation.

Generic-composite-constructors

Seetopic

Construct an XDOC tree for a string of the form <see topic="@(url ...)">...</see>.

This is a fairly common pattern, with several opportunities for mistyping it. This XDOC constructor takes two strings as arguments, one for the topic and one for the hyperlinked text.

Macro: seetopic

(defmacro seetopic (topic text)
  (cons 'see_
        (cons ':topic
              (cons (cons '@url (cons topic 'nil))
                    (cons text 'nil)))))