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