Construct an XDOC string with a single definition directive.
This combines topstring with @def.
Macro: topstring-@def
(defmacro topstring-@def (&rest trees) (cons 'topstring (cons (cons '@def trees) 'nil)))
