<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="ReportHTML.html">
<link rel="next" href="ReportStat.html">
<link rel="Up" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Runtime" rel="Chapter" href="Runtime.html">
<link title="Common" rel="Chapter" href="Common.html">
<link title="Version" rel="Chapter" href="Version.html">
<link title="ReportXML" rel="Chapter" href="ReportXML.html">
<link title="ReportUtils" rel="Chapter" href="ReportUtils.html">
<link title="ReportHTML" rel="Chapter" href="ReportHTML.html">
<link title="CombineAST" rel="Chapter" href="CombineAST.html">
<link title="ReportStat" rel="Chapter" href="ReportStat.html">
<link title="ReportGeneric" rel="Chapter" href="ReportGeneric.html">
<link title="Combine" rel="Chapter" href="Combine.html">
<link title="ReportXMLEmma" rel="Chapter" href="ReportXMLEmma.html">
<link title="ReportDump" rel="Chapter" href="ReportDump.html">
<link title="ReportArgs" rel="Chapter" href="ReportArgs.html">
<link title="ReportCSV" rel="Chapter" href="ReportCSV.html">
<link title="CombineParser" rel="Chapter" href="CombineParser.html">
<link title="CombineLexer" rel="Chapter" href="CombineLexer.html">
<link title="ReportText" rel="Chapter" href="ReportText.html"><title>CombineAST</title>
</head>
<body>
<div class="navbar"><a class="pre" href="ReportHTML.html" title="ReportHTML">Previous</a>
<a class="up" href="index.html" title="Index">Up</a>
<a class="post" href="ReportStat.html" title="ReportStat">Next</a>
</div>
<h1>Module <a href="type_CombineAST.html">CombineAST</a></h1>
<pre><span class="keyword">module</span> CombineAST: <code class="code">sig</code> <a href="CombineAST.html">..</a> <code class="code">end</code></pre><div class="info module top">
This module defines the bbstract syntax tree for 'combine'
expressions.<br>
</div>
<hr width="100%">
<pre><code><span id="TYPEbinop"><span class="keyword">type</span> <code class="type"></code>binop</span> = </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTbinop.Plus"><span class="constructor">Plus</span></span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">+</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTbinop.Minus"><span class="constructor">Minus</span></span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">-</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTbinop.Multiply"><span class="constructor">Multiply</span></span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">*</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTbinop.Divide"><span class="constructor">Divide</span></span></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">/</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
<div class="info ">
The type of binary operators.<br>
</div>
<pre><code><span id="TYPEexpr"><span class="keyword">type</span> <code class="type"></code>expr</span> = </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTexpr.Binop"><span class="constructor">Binop</span></span> <span class="keyword">of</span> <code class="type"><a href="CombineAST.html#TYPEbinop">binop</a> * <a href="CombineAST.html#TYPEexpr">expr</a> * <a href="CombineAST.html#TYPEexpr">expr</a></code></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">e1 op e2</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTexpr.Function"><span class="constructor">Function</span></span> <span class="keyword">of</span> <code class="type">string * <a href="CombineAST.html#TYPEexpr">expr</a> list</code></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">f(e1, ..., en)</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTexpr.File"><span class="constructor">File</span></span> <span class="keyword">of</span> <code class="type">string</code></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">"filename"</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTexpr.Files"><span class="constructor">Files</span></span> <span class="keyword">of</span> <code class="type">string</code></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code"><regexp></code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTexpr.Integer"><span class="constructor">Integer</span></span> <span class="keyword">of</span> <code class="type">int</code></code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" ><i>i. e.</i> <code class="code">123</code>.</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
<div class="info ">
The type of combination expression.<br>
</div>
<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="CombineAST.html#TYPEexpr">expr</a> -> string</code></pre><div class="info ">
Converts the passed expression into a string.<br>
</div>
</body></html>
