latex-test/ref/GadtConstructorArgs/main.tex


1
2
3
4
5
6
7
8
9
10
11

\documentclass{book}
\usepackage{haddock}
\begin{document}
\begin{titlepage}
\begin{haddocktitle}

\end{haddocktitle}
\end{titlepage}
\tableofcontents
\input{GadtConstructorArgs}
\end{document}