\documentclass[nocolor,memo]{j3}
\renewcommand{\hdate}{1 January 2004}
\renewcommand{\vers}{J3/04-162}
\usepackage{lineno}
\usepackage{longtable}
\usepackage{xr}
\externaldocument{007}
\input pdftest
\begin{document}
\vspace{-10pt}
\begin{tabbing}
Subject: \hspace*{0.25in}\=Parameter declarations inside of type
definitions\\
From: \>Van Snyder\\
Reference: \>03-258r1, section 2.2.2\\
\end{tabbing}
\pagewiselinenumbers
\leftlinenumbers
\linenumbers*
\section*{Number}
TBD
\section*{Title}
Parameter declarations inside of type definitions.
\section*{Submitted By}
J3
\section*{Status}
For consideration.
\section*{Basic Functionality}
Parameter declarations inside of type definitions.
\section*{Rationale}
One sometimes needs to declare a parameter for the purpose of declaring a
component of a type. It would reduce maintenance costs somewhat if
parameters needed for this purpose and no other could be declared within
the type.
\section*{Estimated Impact}
Minor.
\section*{Detailed Specification}
Allow parameter (i.e., named constant) declarations inside of type
definitions. Allow them to be referenced from outwith the type, in
contexts other than variable definition contexts (\ref{D16:Variable
definition context}), as though selecting a component of an object ---
similarly to the way that type parameters of the object can be
referenced. Within the type, they can be accessed by their designator
without qualification (since there is no object). Dynamic parameters
(see that proposal), including ones that depend on length parameters of
the type, would also be useful.
\section*{History}
\label{lastpage}
\end{document}