\documentclass[11pt]{article} 
\usepackage[latin1]{inputenc} 
\usepackage[T1]{fontenc} 
\usepackage{textcomp}
\usepackage{fullpage} 
\usepackage{url} 
\usepackage{ocamldoc}
\begin{document}
\tableofcontents
\section{Module {\tt{Inline\_records}} : This test focuses on the printing of documentation for inline record
  within the latex generator.}
\label{Inline-underscorerecords}\index{Inline-underscorerecords@\verb`Inline_records`}




\ocamldocvspace{0.5cm}



\label{exception:Inline-underscorerecords.Simple}\begin{ocamldoccode}
exception Simple
\end{ocamldoccode}
\index{Simple@\verb`Simple`}
\begin{ocamldocdescription}
A nice exception


\end{ocamldocdescription}




\label{exception:Inline-underscorerecords.Less}\begin{ocamldoccode}
exception Less of int
\end{ocamldoccode}
\index{Less@\verb`Less`}
\begin{ocamldocdescription}
A less simple exception


\end{ocamldocdescription}




\label{TYPInline-underscorerecords.ext}\begin{ocamldoccode}
type ext = ..
\end{ocamldoccode}
\index{ext@\verb`ext`}
\begin{ocamldocdescription}
An open sum type


\end{ocamldocdescription}




\label{TYPInline-underscorerecords.r}\begin{ocamldoccode}
type r = 
{\char123}  lbl : int ;
\end{ocamldoccode}
\begin{ocamldoccomment}
Field documentation for non-inline, {\tt{lbl : int}}


\end{ocamldoccomment}
\begin{ocamldoccode}
  more : int list ;
\end{ocamldoccode}
\begin{ocamldoccomment}
More documentation for r, {\tt{more : int list}}


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\index{r@\verb`r`}
\begin{ocamldocdescription}
A simple record type for reference


\end{ocamldocdescription}




\label{TYPInline-underscorerecords.t}\begin{ocamldoccode}
type t =
  | A of {\char123}  lbl : int ;
\end{ocamldoccode}
\begin{ocamldoccomment}
{\tt{A}} field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
  more : int list ;
\end{ocamldoccode}
\begin{ocamldoccomment}
More {\tt{A}} field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor documentation


\end{ocamldoccomment}
\index{t@\verb`t`}
\begin{ocamldocdescription}
A sum type with one inline record


\end{ocamldocdescription}




\label{TYPInline-underscorerecords.s}\begin{ocamldoccode}
type s =
  | B of {\char123}  a_label_for_B : int ;
\end{ocamldoccode}
\begin{ocamldoccomment}
{\tt{B}} field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
  more_label_for_B : int list ;
\end{ocamldoccode}
\begin{ocamldoccomment}
More {\tt{B}} field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor B documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
  | C of {\char123}  c_has_label_too : float ;
\end{ocamldoccode}
\begin{ocamldoccomment}
{\tt{C}} field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
  more_than_one : unit ;
\end{ocamldoccode}
\begin{ocamldoccomment}
$\ldots$ documentations


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor C documentation


\end{ocamldoccomment}
\index{s@\verb`s`}
\begin{ocamldocdescription}
A sum type with two inline records


\end{ocamldocdescription}




\label{TYPInline-underscorerecords.any}\begin{ocamldoccode}
type any =
  | D : {\char123}  any : {\textquotesingle}a ;
\end{ocamldoccode}
\begin{ocamldoccomment}
{\tt{A}} field {\tt{any:{\textquotesingle}a}} for {\tt{D}} in {\tt{any}}.


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
 ->
any
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor D documentation


\end{ocamldoccomment}
\index{any@\verb`any`}
\begin{ocamldocdescription}
A gadt constructor


\end{ocamldocdescription}




\label{exception:Inline-underscorerecords.Error}\begin{ocamldoccode}
exception Error of {\char123}  name : string ;
\end{ocamldoccode}
\begin{ocamldoccomment}
Error field documentation {\tt{name:string}}


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\index{Error@\verb`Error`}




\begin{ocamldoccode}
type ext +=
\end{ocamldoccode}
\label{extension:Inline-underscorerecords.E}\begin{ocamldoccode}
  | E of {\char123}  yet_another_field : unit ;
\end{ocamldoccode}
\begin{ocamldoccomment}
Field documentation for {\tt{E}} in ext


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor E documentation


\end{ocamldoccomment}
\label{extension:Inline-underscorerecords.F}\begin{ocamldoccode}
  | F of {\char123}  even_more : int -> int ;
\end{ocamldoccode}
\begin{ocamldoccomment}
Some field documentations for {\tt{F}}


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor F documentation


\end{ocamldoccomment}
\label{extension:Inline-underscorerecords.G}\begin{ocamldoccode}
  | G of {\char123}  last : int -> int ;
\end{ocamldoccode}
\begin{ocamldoccomment}
The last and least field documentation


\end{ocamldoccomment}
\begin{ocamldoccode}
{\char125}
\end{ocamldoccode}
\begin{ocamldoccomment}
Constructor G documentation


\end{ocamldoccomment}
\begin{ocamldocdescription}
Two new constructors for ext


\end{ocamldocdescription}


\end{document}