
\chapter {Dictionaries} \label{Dictionaries and Related Types}

\input extract/dictionary.tex
\newpage
\input extract/_dictionary.tex
\newpage
\input extract/sortseq.tex
\newpage
\input extract/_sortseq.tex
\newpage
\input extract/d_array.tex
\newpage
\input extract/_d_array.tex
\newpage
\input extract/h_array.tex
\newpage
\input extract/map.tex
\newpage
\input extract/map2.tex
\newpage
\input extract/p_dictionary.tex
\newpage
