blob: 8c386f300e891f4e173e995b40eef62e55bed0e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
\documentclass[11pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage{fullpage}
\usepackage{url}
\usepackage{ocamldoc}
\begin{document}
\tableofcontents
\section{Module {\tt{Loop}}}
\label{Loop}\index{Loop@\verb`Loop`}
\ocamldocvspace{0.5cm}
\begin{ocamldoccode}
{\tt{module }}{\tt{A}}{\tt{ : }}\end{ocamldoccode}
\label{Loop.A}\index{A@\verb`A`}
{\tt{B}}
\begin{ocamldoccode}
{\tt{module }}{\tt{B}}{\tt{ : }}\end{ocamldoccode}
\label{Loop.B}\index{B@\verb`B`}
{\tt{A}}
\end{document}
|
