\batchmode

\documentclass[11pt]{article}
\makeatletter

\usepackage{times}
\usepackage{a4}
\usepackage{pstricks}
\usepackage{pst-node}
\usepackage{html}


\providecommand{\online}[1]{(Available online\footnote{\texttt{#1}}\/)}

\providecommand{\hak}{Hassan A\"{\i}t-Kaci}

\providecommand{\aka}{\emph{a.k.a.}}
\providecommand{\etal}{\emph{et al.}}
\providecommand{\cf}{\emph{cf.}}
\providecommand{\eg}{\emph{e.g.}}
\providecommand{\etc}{\emph{etc.}}
\providecommand{\ie}{\emph{i.e.}}
\providecommand{\viz}{\emph{viz.}}

\providecommand{\opl}{\textsc{Opl}}
\providecommand{\matisse}{\textsc{Matisse}}

\long

\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[centertags]{amsmath}
\usepackage{theorem}
\usepackage{fleqn}

\theoremheaderfont{\scshape}
 

 
\theorembodyfont{\normalfont\slshape }


\renewcommand{\empty}{\emptyset}

\renewcommand{\c}[1]{\ensuremath{{\mathcal #1}} }
\renewcommand{\t}[1]{\ensuremath{\mathtt{#1}} }
\renewcommand{\b}[1]{\ensuremath{\mathbf{#1}} }

\providecommand{\m}[1]{\ensuremath{\mathbb{#1} } }
\providecommand{\g}[1]{\ensuremath{\mathfrak{#1} } }

\providecommand{\true}{\ensuremath{\mathfrak{true} } }
\providecommand{\false}{\ensuremath{\mathfrak{false} } }

\providecommand{\NN}{\ensuremath{\mathbb{N} } }
\providecommand{\BB}{\ensuremath{\mathbb{B} } }

\providecommand{\C}{\ensuremath{\mathbf{C}} }
\providecommand{\V}{\ensuremath{\mathbf{V}} }
\providecommand{\T}{\ensuremath{\mathbf{T}} }
\providecommand{\OP}{\ensuremath{\mathbf{O}} }

\providecommand{\BT}{\ensuremath{{\mathcal B}} }
\providecommand{\VT}{\ensuremath{{\mathcal V}} }
\providecommand{\TT}{\ensuremath{{\mathcal T}} }

\providecommand{\MON}[3]{\langle #1,#2,#3\rangle}

\providecommand{\abs}[2]{\lambda #1.#2}
\providecommand{\app}[2]{#1\;#2}
\providecommand{\arr}[2]{#1\rightarrow #2}

\providecommand{\pr}[2]{\langle #1,#2\rangle}
\providecommand{\tp}[2]{\langle #1, \cdots, #2\rangle}
\providecommand{\pj}[2]{#1.#2}

\providecommand{\ite}[3]{\ensuremath{\mathfrak{if} }\;#1\;\ensuremath{\mathfrak{then} }\;#2\;\ensuremath{\mathfrak{else} }\;#3}

\providecommand{\fix}{\ensuremath{\mathfrak{fix} } }
\providecommand{\op}{\ensuremath{\mathfrak{op} } }

\providecommand{\integer}{\ensuremath{\mathtt{int}} }
\providecommand{\bool}{\ensuremath{\mathtt{bool}} }

\providecommand{\gives}{\;\longrightarrow\;}
\providecommand{\from}{\;\leftarrow\;}

\providecommand{\subst}[3]{#3[#1/#2]}

\providecommand{\typerule}[2]{\displaystyle\frac{#1}{#2}}
\providecommand{\sequent}[3]{#1\;\vdash\;#2 : #3}

\providecommand{\type}{\ensuremath{\mathbf{type}} }
\providecommand{\eqd}{\ensuremath{\;\stackrel{\mbox{\tiny def}}{=}\;} }

\providecommand{\set}{\ensuremath{\mathtt{set}} }
\providecommand{\bag}{\ensuremath{\mathtt{bag}} }
\providecommand{\lst}{\ensuremath{\mathtt{list}} }

\providecommand{\conc}{\ensuremath{\!+\!\!+} }

\providecommand{\Z}[1]{\ensuremath{\mathfrak{z} } _{#1}}
\providecommand{\U}[1]{\ensuremath{\mathfrak{u} } _{#1}}
\providecommand{\Ty}[1]{\ensuremath{\mathfrak{T} } _{#1}}
\providecommand{\Co}[1]{\ensuremath{\mathfrak{C} } _{#1}}
\providecommand{\E}[1]{\Theta_{#1}}

\providecommand{\mset}[1]{\{\!\!\{#1\}\!\!\}}

\providecommand{\eset}{\{\}}
\providecommand{\elst}{[]}
\providecommand{\ebag}{\{\!\!\{\}\!\!\}}

\providecommand{\HOM}[2]{\ensuremath{\ensuremath{\mathfrak{hom} }_{#1}^{#2}} }

\providecommand{\subeq}[2]{\ensuremath{\Theta_{#1}\subseteq\Theta_{#2}} }

\providecommand{\comp}[3]{\ensuremath{#1\{#2\;[\!]\;#3\}} }
\providecommand{\setcomp}[2]{\ensuremath{\{#1\;[\!]\;#2\}} }

\renewcommand{\Join}{\vartriangleright\!\!\vartriangleleft}\par\usepackage[dvips]{color}
\pagecolor[gray]{.7}


\makeatletter
\count@=\the\catcode`\_ \catcode`\_=8 
\newenvironment{tex2html_wrap}{}{} \catcode`\_=\count@
\makeatother
\let\mathon=$
\let\mathoff=$
\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
\newbox\sizebox
\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
\setlength{\textwidth}{349pt}
\newwrite\lthtmlwrite
\makeatletter
\let\realnormalsize=\normalsize
\global\topskip=2sp
\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
\def\@float{\let\@savefreelist\@freelist\real@float}
\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
\let\@largefloatcheck=\relax
\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize
 \parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}\normalsize}%
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup}%
\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup%
 \let\ifinner=\iffalse }%
\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
 \expandafter\box\next\egroup}%
\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist
       \lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox
       \global\let\@freelist\@savefreelist}%
\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
  \lthtmldisplayA{#1}\let\@eqnnum\relax}%
\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA  \vrule height1.5ex width0pt }%
\newcommand\lthtmlinlineA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA}%
\newcommand\lthtmlinlineZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetinline}
\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
  \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
\def\lthtmlsetinline{\hbox{\vrule width.1em\vtop{\vbox{%
  \kern.1em\copy\sizebox}\ifdim\dp\sizebox>0pt\kern.1em\else\kern.3pt\fi
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\lthtmlsetmath{\hbox{\vrule width.1em\vtop{\vbox{%
  \kern.1em\kern0.8 pt\hbox{\hglue.17em\copy\sizebox\hglue0.8 pt}}\kern.3pt%
  \ifdim\dp\sizebox>0pt\kern.1em\fi \kern0.8 pt%
  \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
\def\centerinlinemath{%\dimen1=\ht\sizebox
  \dimen1=\ifdim\ht\sizebox<\dp\sizebox \dp\sizebox\else\ht\sizebox\fi
  \advance\dimen1by.5pt \vrule width0pt height\dimen1 depth\dimen1 
 \dp\sizebox=\dimen1\ht\sizebox=\dimen1\relax}

\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize\expandafter\vfill
  \else\expandafter\vss\fi}%
\makeatletter \tracingstats = 1 


\begin{document}
\pagestyle{empty}\thispagestyle{empty}%
\lthtmltypeout{latex2htmlLength hsize=\the\hsize}%
\lthtmltypeout{latex2htmlLength vsize=\the\vsize}%
\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}%
\lthtmltypeout{latex2htmlLength voffset=\the\voffset}%
\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}%
\lthtmltypeout{latex2htmlLength topskip=\the\topskip}%
\lthtmltypeout{latex2htmlLength headheight=\the\headheight}%
\lthtmltypeout{latex2htmlLength headsep=\the\headsep}%
\lthtmltypeout{latex2htmlLength parskip=\the\parskip}%
\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}%
\makeatletter
\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
\makeatother
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
{\newpage\clearpage
\lthtmlfigureA{figure726}%
\begin{figure}\par\begin{center}
\par\begin{tabular}{cccccccccc}
&&& \rnode{TYPE}{type} \\[3cm]
\par\rnode{BASIC}{basic} &
\rnode{STRUCTURE}{structure} &
\rnode{RANGE}{range} &
\rnode{ENUM}{enum} &
\rnode{SETOF}{setof(type)} &
\rnode{ARRAY}{array[type]} \\
\par\end{tabular}
\ncline{-}{TYPE}{BASIC}
\ncline{-}{TYPE}{STRUCTURE}
\ncline{-}{TYPE}{RANGE}
\ncline{-}{TYPE}{ENUM}
\ncline{-}{TYPE}{SETOF}
\ncline{-}{TYPE}{ARRAY}
\end{center}
\par\end{figure}%
\lthtmlfigureZ
\hfill\lthtmlcheckvsize\clearpage}

\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{subsection}
\appendix
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}

\renewcommand{\arraystretch}{1.2}

\renewcommand{\arraystretch}{1.2}
\stepcounter{subsection}
\stepcounter{section}

\end{document}
