File: ocamldoc.hva

package info (click to toggle)
ocaml 4.05.0-11
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 27,060 kB
  • sloc: ml: 199,255; ansic: 44,187; sh: 5,611; makefile: 4,958; lisp: 4,223; asm: 4,220; awk: 306; perl: 87; fortran: 21; cs: 9; sed: 9
file content (34 lines) | stat: -rw-r--r-- 1,830 bytes parent folder | download | duplicates (3)
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
%**************************************************************************
%*                                                                        *
%*                                 OCaml                                  *
%*                                                                        *
%*          Maxence Guesdon, projet Cristal, INRIA Rocquencourt           *
%*                                                                        *
%*   Copyright 2001 Institut National de Recherche en Informatique et     *
%*     en Automatique.                                                    *
%*                                                                        *
%*   All rights reserved.  This file is distributed under the terms of    *
%*   the GNU Lesser General Public License version 2.1, with the          *
%*   special exception on linking described in the file LICENSE.          *
%*                                                                        *
%**************************************************************************

\usepackage{alltt}
\newenvironment{ocamldoccode}{\begin{alltt}}{\end{alltt}}
\newenvironment{ocamldocdescription}{\begin{quote}}{\end{quote}}
\newenvironment{ocamldoccomment}{\begin{quote}}{\end{quote}}
\newcommand\textbar{|}
\newcommand\textbackslash{\begin{rawhtml}\\end{rawhtml}}
\newcommand\textasciicircum{\^{}}
\newcommand\hash{#}

\let\ocamldocvspace\vspace
\newenvironment{ocamldocindent}{\list{}{}\item\relax}{\endlist}
\newenvironment{ocamldocsigend}
     {\noindent\quad\texttt{sig}\ocamldocindent}
     {\endocamldocindent\vskip -\lastskip
      \noindent\quad\texttt{end}\medskip}
\newenvironment{ocamldocobjectend}
     {\noindent\quad\texttt{object}\ocamldocindent}
     {\endocamldocindent\vskip -\lastskip
      \noindent\quad\texttt{end}\medskip}