<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parser (libabsolute.Libabsolute__.Parser)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> â€“ <a href="../../index.html">libabsolute</a> &#x00BB; <a href="../index.html">Libabsolute__</a> &#x00BB; Parser</nav><h1>Module <code>Libabsolute__.Parser</code></h1></header><dl><dt class="spec type" id="type-token"><a href="#type-token" class="anchor"></a><code><span class="keyword">type</span> token</code><code> = </code><table class="variant"><tr id="type-token.TOK_id" class="anchored"><td class="def constructor"><a href="#type-token.TOK_id" class="anchor"></a><code>| </code><code><span class="constructor">TOK_id</span> <span class="keyword">of</span> string</code></td></tr><tr id="type-token.TOK_const" class="anchored"><td class="def constructor"><a href="#type-token.TOK_const" class="anchor"></a><code>| </code><code><span class="constructor">TOK_const</span> <span class="keyword">of</span> Mpqf.t</code></td></tr><tr id="type-token.SOL" class="anchored"><td class="def constructor"><a href="#type-token.SOL" class="anchor"></a><code>| </code><code><span class="constructor">SOL</span></code></td></tr><tr id="type-token.SCOLON" class="anchored"><td class="def constructor"><a href="#type-token.SCOLON" class="anchor"></a><code>| </code><code><span class="constructor">SCOLON</span></code></td></tr><tr id="type-token.RPAREN" class="anchored"><td class="def constructor"><a href="#type-token.RPAREN" class="anchor"></a><code>| </code><code><span class="constructor">RPAREN</span></code></td></tr><tr id="type-token.REAL" class="anchored"><td class="def constructor"><a href="#type-token.REAL" class="anchor"></a><code>| </code><code><span class="constructor">REAL</span></code></td></tr><tr id="type-token.RBRACKET" class="anchored"><td class="def constructor"><a href="#type-token.RBRACKET" class="anchor"></a><code>| </code><code><span class="constructor">RBRACKET</span></code></td></tr><tr id="type-token.RBRACE" class="anchored"><td class="def constructor"><a href="#type-token.RBRACE" class="anchor"></a><code>| </code><code><span class="constructor">RBRACE</span></code></td></tr><tr id="type-token.POW" class="anchored"><td class="def constructor"><a href="#type-token.POW" class="anchor"></a><code>| </code><code><span class="constructor">POW</span></code></td></tr><tr id="type-token.PLUS" class="anchored"><td class="def constructor"><a href="#type-token.PLUS" class="anchor"></a><code>| </code><code><span class="constructor">PLUS</span></code></td></tr><tr id="type-token.OR" class="anchored"><td class="def constructor"><a href="#type-token.OR" class="anchor"></a><code>| </code><code><span class="constructor">OR</span></code></td></tr><tr id="type-token.OBJ" class="anchored"><td class="def constructor"><a href="#type-token.OBJ" class="anchor"></a><code>| </code><code><span class="constructor">OBJ</span></code></td></tr><tr id="type-token.NOT_EQUAL" class="anchored"><td class="def constructor"><a href="#type-token.NOT_EQUAL" class="anchor"></a><code>| </code><code><span class="constructor">NOT_EQUAL</span></code></td></tr><tr id="type-token.NOTIN" class="anchored"><td class="def constructor"><a href="#type-token.NOTIN" class="anchor"></a><code>| </code><code><span class="constructor">NOTIN</span></code></td></tr><tr id="type-token.NOT" class="anchored"><td class="def constructor"><a href="#type-token.NOT" class="anchor"></a><code>| </code><code><span class="constructor">NOT</span></code></td></tr><tr id="type-token.NONE" class="anchored"><td class="def constructor"><a href="#type-token.NONE" class="anchor"></a><code>| </code><code><span class="constructor">NONE</span></code></td></tr><tr id="type-token.MULTIPLY" class="anchored"><td class="def constructor"><a href="#type-token.MULTIPLY" class="anchor"></a><code>| </code><code><span class="constructor">MULTIPLY</span></code></td></tr><tr id="type-token.MINUS" class="anchored"><td class="def constructor"><a href="#type-token.MINUS" class="anchor"></a><code>| </code><code><span class="constructor">MINUS</span></code></td></tr><tr id="type-token.LPAREN" class="anchored"><td class="def constructor"><a href="#type-token.LPAREN" class="anchor"></a><code>| </code><code><span class="constructor">LPAREN</span></code></td></tr><tr id="type-token.LESS_EQUAL" class="anchored"><td class="def constructor"><a href="#type-token.LESS_EQUAL" class="anchor"></a><code>| </code><code><span class="constructor">LESS_EQUAL</span></code></td></tr><tr id="type-token.LESS" class="anchored"><td class="def constructor"><a href="#type-token.LESS" class="anchor"></a><code>| </code><code><span class="constructor">LESS</span></code></td></tr><tr id="type-token.LBRACKET" class="anchored"><td class="def constructor"><a href="#type-token.LBRACKET" class="anchor"></a><code>| </code><code><span class="constructor">LBRACKET</span></code></td></tr><tr id="type-token.LBRACE" class="anchored"><td class="def constructor"><a href="#type-token.LBRACE" class="anchor"></a><code>| </code><code><span class="constructor">LBRACE</span></code></td></tr><tr id="type-token.INT" class="anchored"><td class="def constructor"><a href="#type-token.INT" class="anchor"></a><code>| </code><code><span class="constructor">INT</span></code></td></tr><tr id="type-token.INIT" class="anchored"><td class="def constructor"><a href="#type-token.INIT" class="anchor"></a><code>| </code><code><span class="constructor">INIT</span></code></td></tr><tr id="type-token.INF" class="anchored"><td class="def constructor"><a href="#type-token.INF" class="anchor"></a><code>| </code><code><span class="constructor">INF</span></code></td></tr><tr id="type-token.IN" class="anchored"><td class="def constructor"><a href="#type-token.IN" class="anchor"></a><code>| </code><code><span class="constructor">IN</span></code></td></tr><tr id="type-token.GREATER_EQUAL" class="anchored"><td class="def constructor"><a href="#type-token.GREATER_EQUAL" class="anchor"></a><code>| </code><code><span class="constructor">GREATER_EQUAL</span></code></td></tr><tr id="type-token.GREATER" class="anchored"><td class="def constructor"><a href="#type-token.GREATER" class="anchor"></a><code>| </code><code><span class="constructor">GREATER</span></code></td></tr><tr id="type-token.EOF" class="anchored"><td class="def constructor"><a href="#type-token.EOF" class="anchor"></a><code>| </code><code><span class="constructor">EOF</span></code></td></tr><tr id="type-token.DIVIDE" class="anchored"><td class="def constructor"><a href="#type-token.DIVIDE" class="anchor"></a><code>| </code><code><span class="constructor">DIVIDE</span></code></td></tr><tr id="type-token.CST" class="anchored"><td class="def constructor"><a href="#type-token.CST" class="anchor"></a><code>| </code><code><span class="constructor">CST</span></code></td></tr><tr id="type-token.CONVEX" class="anchored"><td class="def constructor"><a href="#type-token.CONVEX" class="anchor"></a><code>| </code><code><span class="constructor">CONVEX</span></code></td></tr><tr id="type-token.CONSTR" class="anchored"><td class="def constructor"><a href="#type-token.CONSTR" class="anchor"></a><code>| </code><code><span class="constructor">CONSTR</span></code></td></tr><tr id="type-token.COMMA" class="anchored"><td class="def constructor"><a href="#type-token.COMMA" class="anchor"></a><code>| </code><code><span class="constructor">COMMA</span></code></td></tr><tr id="type-token.ASSIGN" class="anchored"><td class="def constructor"><a href="#type-token.ASSIGN" class="anchor"></a><code>| </code><code><span class="constructor">ASSIGN</span></code></td></tr><tr id="type-token.AND" class="anchored"><td class="def constructor"><a href="#type-token.AND" class="anchor"></a><code>| </code><code><span class="constructor">AND</span></code></td></tr></table></dt></dl><dl><dt class="spec exception" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">Error</span></code></dt></dl><dl><dt class="spec value" id="val-file"><a href="#val-file" class="anchor"></a><code><span class="keyword">val</span> file : <span>(Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-token">token</a>)</span> <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-t">Libabsolute.Csp.t</a></code></dt><dt class="spec value" id="val-expreof"><a href="#val-expreof" class="anchor"></a><code><span class="keyword">val</span> expreof : <span>(Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-token">token</a>)</span> <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a></code></dt><dt class="spec value" id="val-bexpreof"><a href="#val-bexpreof" class="anchor"></a><code><span class="keyword">val</span> bexpreof : <span>(Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-token">token</a>)</span> <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="../../Libabsolute/Constraint/index.html#type-t">Libabsolute.Constraint.t</a></code></dt></dl></div></body></html>