&\DWATname{} \\*
&\DWATproducer{} \\*
&\DWATranges{} \\*
-&\DWATrangesbase{} \\*
+\bb
+&\DWATrnglistsbase{}
+\eb \\*
&\DWATsegment{} \\*
&\DWATstmtlist{} \\*
&\DWATstroffsetsbase{} \\*
&\DWATupperbound{} \\*
&\DWATvisibility{} \\
+\hline
+\DWTAGimmutabletype
+\bbeb&\livelink{chap:DECL}{DECL} \\*
+\bbeb&\DWATname \\*
+\bbeb&\DWATtype \\
+
\hline
\DWTAGimporteddeclaration
&\livelink{chap:DECL}{DECL} \\*
&\DWATname{} \\*
&\DWATproducer{} \\*
&\DWATranges{} \\*
-&\DWATrangesbase{} \\*
+\bb
+&\DWATrnglistsbase{}
+\eb \\*
&\DWATsegment{} \\*
&\DWATstmtlist{} \\*
&\DWATstroffsetsbase{} \\*
&\DWAThighpc{} \\*
&\DWATlowpc{} \\*
&\DWATranges{} \\*
-&\DWATrangesbase{} \\*
+\bb
+&\DWATrnglistsbase{}
+\eb \\*
&\DWATstmtlist{} \\*
&\DWATstroffsetsbase{} \\*
&\DWATuseUTFeight{}