Lines Matching full:defn
808 % This defn is used inside fill environments such as @defun.811 % This defn is used inside nofill environments such as @example.
