From c57d4c58a094c653265f126b313d510d274d54f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=96mer=20Sinan=20A=C4=9Facan?= <omersa@google.com>
Date: Thu, 22 Aug 2024 10:55:18 +0200
Subject: [PATCH] List type and field name subsections in namedata

---
 document/core/appendix/custom.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/document/core/appendix/custom.rst b/document/core/appendix/custom.rst
index ee9b39c90..330e6aace 100644
--- a/document/core/appendix/custom.rst
+++ b/document/core/appendix/custom.rst
@@ -46,7 +46,9 @@ Each subsection consists of a
      n{:}\Bname & (\iff n = \text{name}) \\ &&&
      \Bmodulenamesubsec^? \\ &&&
      \Bfuncnamesubsec^? \\ &&&
-     \Blocalnamesubsec^? \\
+     \Blocalnamesubsec^? \\ &&&
+     \Btypenamesubsec^? \\ &&&
+     \Bfieldnamesubsec^? \\
    \production{name subsection} & \Bnamesubsection_N(\B{B}) &::=&
      N{:}\Bbyte~~\X{size}{:}\Bu32~~\B{B}
        & (\iff \X{size} = ||\B{B}||) \\