<!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="Rdf_sparql_algebra.html">
<link rel="next" href="Rdf_sparql_expand.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 modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Kw_to_re" rel="Chapter" href="Kw_to_re.html">
<link title="Rdf_config" rel="Chapter" href="Rdf_config.html">
<link title="Rdf_dot" rel="Chapter" href="Rdf_dot.html">
<link title="Rdf_ds" rel="Chapter" href="Rdf_ds.html">
<link title="Rdf_dt" rel="Chapter" href="Rdf_dt.html">
<link title="Rdf_graph" rel="Chapter" href="Rdf_graph.html">
<link title="Rdf_loc" rel="Chapter" href="Rdf_loc.html">
<link title="Rdf_mem" rel="Chapter" href="Rdf_mem.html">
<link title="Rdf_misc" rel="Chapter" href="Rdf_misc.html">
<link title="Rdf_my" rel="Chapter" href="Rdf_my.html">
<link title="Rdf_node" rel="Chapter" href="Rdf_node.html">
<link title="Rdf_pg" rel="Chapter" href="Rdf_pg.html">
<link title="Rdf_rdf" rel="Chapter" href="Rdf_rdf.html">
<link title="Rdf_sparql" rel="Chapter" href="Rdf_sparql.html">
<link title="Rdf_sparql_algebra" rel="Chapter" href="Rdf_sparql_algebra.html">
<link title="Rdf_sparql_eval" rel="Chapter" href="Rdf_sparql_eval.html">
<link title="Rdf_sparql_expand" rel="Chapter" href="Rdf_sparql_expand.html">
<link title="Rdf_sparql_map" rel="Chapter" href="Rdf_sparql_map.html">
<link title="Rdf_sparql_ms" rel="Chapter" href="Rdf_sparql_ms.html">
<link title="Rdf_sparql_print" rel="Chapter" href="Rdf_sparql_print.html">
<link title="Rdf_sparql_types" rel="Chapter" href="Rdf_sparql_types.html">
<link title="Rdf_sparql_vis" rel="Chapter" href="Rdf_sparql_vis.html">
<link title="Rdf_to_ttl" rel="Chapter" href="Rdf_to_ttl.html">
<link title="Rdf_ttl" rel="Chapter" href="Rdf_ttl.html">
<link title="Rdf_ttl_types" rel="Chapter" href="Rdf_ttl_types.html">
<link title="Rdf_ulex" rel="Chapter" href="Rdf_ulex.html">
<link title="Rdf_uri" rel="Chapter" href="Rdf_uri.html">
<link title="Rdf_utf8" rel="Chapter" href="Rdf_utf8.html">
<link title="Rdf_xml" rel="Chapter" href="Rdf_xml.html"><title>OCaml-RDF : Rdf_sparql_eval</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Rdf_sparql_algebra.html" title="Rdf_sparql_algebra">Previous</a>
<a class="up" href="index.html" title="Index">Up</a>
<a class="post" href="Rdf_sparql_expand.html" title="Rdf_sparql_expand">Next</a>
</div>
<h1>Module <a href="type_Rdf_sparql_eval.html">Rdf_sparql_eval</a></h1>
<pre><span class="keyword">module</span> Rdf_sparql_eval: <code class="code">sig</code> <a href="Rdf_sparql_eval.html">..</a> <code class="code">end</code></pre><div class="info module top">
</div>
<hr width="100%">
<pre><span class="keyword">module</span> <a href="Rdf_sparql_eval.N.html">N</a>: <code class="type">Rdf_node</code></pre>
<pre><span id="VALdbg"><span class="keyword">val</span> dbg</span> : <code class="type">?loc:string -> ?level:int -> (unit -> string) -> unit</code></pre>
<pre><code><span id="TYPEerror"><span class="keyword">type</span> <code class="type"></code>error</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="TYPEELTerror.Unbound_variable"><span class="constructor">Unbound_variable</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_sparql_types.html#TYPEvar">Rdf_sparql_types.var</a></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="TYPEELTerror.Not_a_integer"><span class="constructor">Not_a_integer</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_node.html#TYPEliteral">Rdf_node.literal</a></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="TYPEELTerror.Not_a_double_or_decimal"><span class="constructor">Not_a_double_or_decimal</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_node.html#TYPEliteral">Rdf_node.literal</a></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="TYPEELTerror.Type_mismatch"><span class="constructor">Type_mismatch</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></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="TYPEELTerror.Invalid_fun_argument"><span class="constructor">Invalid_fun_argument</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a></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="TYPEELTerror.Unknown_fun"><span class="constructor">Unknown_fun</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a></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="TYPEELTerror.Invalid_built_in_fun_argument"><span class="constructor">Invalid_built_in_fun_argument</span></span> <span class="keyword">of</span> <code class="type">string * <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list</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="TYPEELTerror.Unknown_built_in_fun"><span class="constructor">Unknown_built_in_fun</span></span> <span class="keyword">of</span> <code class="type">string</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="TYPEELTerror.No_term"><span class="constructor">No_term</span></span></code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTerror.Cannot_compare_for_datatype"><span class="constructor">Cannot_compare_for_datatype</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a></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="TYPEELTerror.Unhandled_regex_flag"><span class="constructor">Unhandled_regex_flag</span></span> <span class="keyword">of</span> <code class="type">char</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="TYPEELTerror.Incompatible_string_literals"><span class="constructor">Incompatible_string_literals</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></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="TYPEELTerror.Empty_set"><span class="constructor">Empty_set</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" >sparql function name</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="TYPEELTerror.Missing_values_in_inline_data"><span class="constructor">Missing_values_in_inline_data</span></span> <span class="keyword">of</span> <code class="type"><a href="Rdf_sparql_types.html#TYPEinline_data_full">Rdf_sparql_types.inline_data_full</a></code></code></td>
</tr></table>
<pre><span id="EXCEPTIONError"><span class="keyword">exception</span> Error</span> <span class="keyword">of</span> <code class="type"><a href="Rdf_sparql_eval.html#TYPEerror">error</a></code></pre>
<pre><span id="VALerror"><span class="keyword">val</span> error</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEerror">error</a> -> 'a</code></pre>
<pre><span id="VALstring_of_error"><span class="keyword">val</span> string_of_error</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEerror">error</a> -> string</code></pre>
<pre><span class="keyword">module</span> <a href="Rdf_sparql_eval.Irimap.html">Irimap</a>: <code class="type"><a href="Rdf_uri.Urimap.html">Rdf_uri.Urimap</a></code></pre>
<pre><span class="keyword">module</span> <a href="Rdf_sparql_eval.Iriset.html">Iriset</a>: <code class="type"><a href="Rdf_uri.Uriset.html">Rdf_uri.Uriset</a></code></pre>
<pre><code><span id="TYPEcontext"><span class="keyword">type</span> <code class="type"></code>context</span> = {</code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTcontext.base">base</span> : <code class="type"><a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a></code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTcontext.named">named</span> : <code class="type">Iriset.t</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTcontext.dataset">dataset</span> : <code class="type"><a href="Rdf_ds.html#TYPEdataset">Rdf_ds.dataset</a></code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTcontext.active">active</span> : <code class="type"><a href="Rdf_graph.html#TYPEgraph">Rdf_graph.graph</a></code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTcontext.now">now</span> : <code class="type">Netdate.t</code>;</code></td>
<td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >because all calls to NOW() must return the same value,
we get it at the beginning of the evaluation and use it when required</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td>
</tr></table>
}
<pre><span id="VALcontext"><span class="keyword">val</span> context</span> : <code class="type">base:<a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a> -><br> ?from:<a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a> -><br> ?from_named:Iriset.t -><br> <a href="Rdf_ds.html#TYPEdataset">Rdf_ds.dataset</a> -> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a></code></pre>
<pre><span class="keyword">module</span> <a href="Rdf_sparql_eval.GExprOrdered.html">GExprOrdered</a>: <code class="code">sig</code> <a href="Rdf_sparql_eval.GExprOrdered.html">..</a> <code class="code">end</code></pre>
<pre><span class="keyword">module</span> <a href="Rdf_sparql_eval.GExprMap.html">GExprMap</a>: <code class="type">Map.Make</code><code class="code">(</code><code class="type"><a href="Rdf_sparql_eval.GExprOrdered.html">GExprOrdered</a></code><code class="code">)</code></pre>
<pre><span id="VALebv"><span class="keyword">val</span> ebv</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> bool</code></pre><div class="info ">
Evaluate boolean expression.
See http://www.w3.org/TR/sparql11-query/#ebv<br>
</div>
<pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type">?sameterm:bool -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> int</code></pre>
<pre><span id="VALsortby_compare"><span class="keyword">val</span> sortby_compare</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> int</code></pre><div class="info ">
Implement the sorting order used in sparql order by clause:
http://www.w3.org/TR/sparql11-query/#modOrderBy<br>
</div>
<br>
Predefined functions<br>
<pre><span id="VALxsd_datetime"><span class="keyword">val</span> xsd_datetime</span> : <code class="type"><a href="Rdf_uri.html#TYPEuri">Rdf_uri.uri</a></code></pre>
<pre><span id="VALfun_datetime"><span class="keyword">val</span> fun_datetime</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALuri_funs"><span class="keyword">val</span> uri_funs</span> : <code class="type">(Rdf_sparql_ms.VMap.key list -> Rdf_sparql_ms.VMap.key)<br> Irimap.t Pervasives.ref</code></pre>
<pre><span id="VALuri_funs"><span class="keyword">val</span> uri_funs</span> : <code class="type">(Rdf_sparql_ms.VMap.key list -> Rdf_sparql_ms.VMap.key)<br> Irimap.t Pervasives.ref</code></pre>
<pre><span id="VALadd_uri_fun"><span class="keyword">val</span> add_uri_fun</span> : <code class="type">Irimap.key -><br> (Rdf_sparql_ms.VMap.key list -> Rdf_sparql_ms.VMap.key) -> unit</code></pre><br>
Builtin functions; they take an expression evaluation function
in parameter, as all arguments must not be always evaluated,
for example in the IF.<br>
<pre><span id="VALbi_bnode"><span class="keyword">val</span> bi_bnode</span> : <code class="type">string -><br> ('a -><br> <a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key) -><br> 'a -> <a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_coalesce"><span class="keyword">val</span> bi_coalesce</span> : <code class="type">'a -> ('b -> 'c -> 'd -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -> 'b -> 'c -> 'd list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_datatype"><span class="keyword">val</span> bi_datatype</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_if"><span class="keyword">val</span> bi_if</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_iri"><span class="keyword">val</span> bi_iri</span> : <code class="type">string -><br> (<a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -> 'a -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> 'a -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_isblank"><span class="keyword">val</span> bi_isblank</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_isiri"><span class="keyword">val</span> bi_isiri</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_isliteral"><span class="keyword">val</span> bi_isliteral</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_lang"><span class="keyword">val</span> bi_lang</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_isnumeric"><span class="keyword">val</span> bi_isnumeric</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALregex_flag_of_char"><span class="keyword">val</span> regex_flag_of_char</span> : <code class="type">char -> [> `CASELESS | `DOTALL | `MULTILINE ]</code></pre>
<pre><span id="VALbi_regex"><span class="keyword">val</span> bi_regex</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre><div class="info ">
See http://www.w3.org/TR/xpath-functions/#regex-syntax<br>
</div>
<pre><span id="VALbi_sameterm"><span class="keyword">val</span> bi_sameterm</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_str"><span class="keyword">val</span> bi_str</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strdt"><span class="keyword">val</span> bi_strdt</span> : <code class="type">string -><br> (<a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -> 'a -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> 'a -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strlang"><span class="keyword">val</span> bi_strlang</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALstring_lit_compatible"><span class="keyword">val</span> string_lit_compatible</span> : <code class="type">'a * 'b option -> 'c * 'b option -> bool</code></pre>
<pre><span id="VALbi_strlen"><span class="keyword">val</span> bi_strlen</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_substr"><span class="keyword">val</span> bi_substr</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strends"><span class="keyword">val</span> bi_strends</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strstarts"><span class="keyword">val</span> bi_strstarts</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_contains"><span class="keyword">val</span> bi_contains</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strbefore"><span class="keyword">val</span> bi_strbefore</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_strafter"><span class="keyword">val</span> bi_strafter</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_struuid"><span class="keyword">val</span> bi_struuid</span> : <code class="type">string -> 'a -> 'b -> 'c -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_encode_for_uri"><span class="keyword">val</span> bi_encode_for_uri</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_concat"><span class="keyword">val</span> bi_concat</span> : <code class="type">'a -> ('b -> 'c -> 'd -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -> 'b -> 'c -> 'd list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_langmatches"><span class="keyword">val</span> bi_langmatches</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_replace"><span class="keyword">val</span> bi_replace</span> : <code class="type">string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_numeric"><span class="keyword">val</span> bi_numeric</span> : <code class="type">(<a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_num_abs"><span class="keyword">val</span> bi_num_abs</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_num_round"><span class="keyword">val</span> bi_num_round</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_num_ceil"><span class="keyword">val</span> bi_num_ceil</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_num_floor"><span class="keyword">val</span> bi_num_floor</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_rand"><span class="keyword">val</span> bi_rand</span> : <code class="type">string -> 'a -> 'b -> 'c -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_now"><span class="keyword">val</span> bi_now</span> : <code class="type">string -><br> 'a -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_on_date"><span class="keyword">val</span> bi_on_date</span> : <code class="type">(Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_year"><span class="keyword">val</span> bi_date_year</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_month"><span class="keyword">val</span> bi_date_month</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_day"><span class="keyword">val</span> bi_date_day</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_hours"><span class="keyword">val</span> bi_date_hours</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_minutes"><span class="keyword">val</span> bi_date_minutes</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_date_seconds"><span class="keyword">val</span> bi_date_seconds</span> : <code class="type">Netdate.t -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_hash"><span class="keyword">val</span> bi_hash</span> : <code class="type">(string -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> string -><br> ('a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a>) -><br> 'a -> 'b -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_md5"><span class="keyword">val</span> bi_md5</span> : <code class="type">string -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_sha1"><span class="keyword">val</span> bi_sha1</span> : <code class="type">string -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbi_sha256"><span class="keyword">val</span> bi_sha256</span> : <code class="type">string -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALbuilt_in_funs"><span class="keyword">val</span> built_in_funs</span> : <code class="type">((<a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key) -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> Rdf_sparql_ms.VMap.key)<br> Rdf_sparql_types.SMap.t</code></pre>
<pre><span id="VALget_built_in_fun"><span class="keyword">val</span> get_built_in_fun</span> : <code class="type">string -><br> (<a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key) -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALeval_var"><span class="keyword">val</span> eval_var</span> : <code class="type"><a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> -> <a href="Rdf_sparql_types.html#TYPEvar">Rdf_sparql_types.var</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_iri"><span class="keyword">val</span> eval_iri</span> : <code class="type"><a href="Rdf_sparql_types.html#TYPEiri">Rdf_sparql_types.iri</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_numeric2"><span class="keyword">val</span> eval_numeric2</span> : <code class="type">(int -> int -> int) -><br> (float -> float -> float) -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_plus"><span class="keyword">val</span> eval_plus</span> : <code class="type">Rdf_sparql_ms.VMap.key * Rdf_sparql_ms.VMap.key -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_minus"><span class="keyword">val</span> eval_minus</span> : <code class="type">Rdf_sparql_ms.VMap.key * Rdf_sparql_ms.VMap.key -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_mult"><span class="keyword">val</span> eval_mult</span> : <code class="type">Rdf_sparql_ms.VMap.key * Rdf_sparql_ms.VMap.key -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_div"><span class="keyword">val</span> eval_div</span> : <code class="type">Rdf_sparql_ms.VMap.key * Rdf_sparql_ms.VMap.key -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_equal"><span class="keyword">val</span> eval_equal</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_not_equal"><span class="keyword">val</span> eval_not_equal</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_lt"><span class="keyword">val</span> eval_lt</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_lte"><span class="keyword">val</span> eval_lte</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_gt"><span class="keyword">val</span> eval_gt</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_gte"><span class="keyword">val</span> eval_gte</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_or"><span class="keyword">val</span> eval_or</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_and"><span class="keyword">val</span> eval_and</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> * <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_bin"><span class="keyword">val</span> eval_bin</span> : <code class="type"><a href="Rdf_sparql_types.html#TYPEbinary_op">Rdf_sparql_types.binary_op</a> -><br> Rdf_sparql_ms.VMap.key * Rdf_sparql_ms.VMap.key -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_expr"><span class="keyword">val</span> eval_expr</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALeval_bic"><span class="keyword">val</span> eval_bic</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEbuilt_in_call">Rdf_sparql_types.built_in_call</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALeval_funcall"><span class="keyword">val</span> eval_funcall</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEfunction_call">Rdf_sparql_types.function_call</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALeval_in"><span class="keyword">val</span> eval_in</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> list -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALebv_lit"><span class="keyword">val</span> ebv_lit</span> : <code class="type"><a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a> -> <a href="Rdf_node.html#TYPEliteral">Rdf_node.literal</a></code></pre>
<pre><span id="VALeval_filter"><span class="keyword">val</span> eval_filter</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -> <a href="Rdf_sparql_types.html#TYPEconstraint_">Rdf_sparql_types.constraint_</a> -> bool</code></pre>
<pre><span id="VALfilter_omega"><span class="keyword">val</span> filter_omega</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEconstraint_">Rdf_sparql_types.constraint_</a> list -><br> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALjoin_omega"><span class="keyword">val</span> join_omega</span> : <code class="type">'a -><br> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALunion_omega"><span class="keyword">val</span> union_omega</span> : <code class="type">Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALleftjoin_omega"><span class="keyword">val</span> leftjoin_omega</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.Multimu.t -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEconstraint_">Rdf_sparql_types.constraint_</a> list -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALminus_omega"><span class="keyword">val</span> minus_omega</span> : <code class="type">Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALextend_omega"><span class="keyword">val</span> extend_omega</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEvar">Rdf_sparql_types.var</a> -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALbuild_sort_comp_fun"><span class="keyword">val</span> build_sort_comp_fun</span> : <code class="type"><a href="Rdf_sparql_types.html#TYPEorder_condition">Rdf_sparql_types.order_condition</a> -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_ms.MuSet.elt -> Rdf_sparql_ms.MuSet.elt -> int</code></pre>
<pre><span id="VALsort_solutions"><span class="keyword">val</span> sort_solutions</span> : <code class="type">'a -> ('a -> 'b -> 'c -> int) list -> 'b -> 'c -> int</code></pre>
<pre><span id="VALsort_sequence"><span class="keyword">val</span> sort_sequence</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEorder_condition">Rdf_sparql_types.order_condition</a> list -><br> Rdf_sparql_ms.MuSet.elt list -> Rdf_sparql_ms.MuSet.elt list</code></pre>
<pre><span id="VALproject_sequence"><span class="keyword">val</span> project_sequence</span> : <code class="type">Rdf_sparql_algebra.VS.t -> <a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> list -> <a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> list</code></pre>
<pre><span id="VALdistinct"><span class="keyword">val</span> distinct</span> : <code class="type">Rdf_sparql_ms.MuSet.elt list -> Rdf_sparql_ms.MuSet.elt list</code></pre>
<pre><span id="VALslice"><span class="keyword">val</span> slice</span> : <code class="type">'a list -> int option -> int option -> 'a list</code></pre>
<pre><span id="VALgroup_omega"><span class="keyword">val</span> group_omega</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEgroup_condition">Rdf_sparql_types.group_condition</a> list -><br> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.Multimu.t GExprMap.t</code></pre>
<pre><span id="VALagg_count"><span class="keyword">val</span> agg_count</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> option -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALagg_sum"><span class="keyword">val</span> agg_sum</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALagg_fold"><span class="keyword">val</span> agg_fold</span> : <code class="type">('a -> Rdf_sparql_ms.VMap.key -> 'a) -><br> 'a -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -> Rdf_sparql_ms.Multimu.t -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> 'a</code></pre>
<pre><span id="VALagg_min"><span class="keyword">val</span> agg_min</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALagg_max"><span class="keyword">val</span> agg_max</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALagg_avg"><span class="keyword">val</span> agg_avg</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALagg_sample"><span class="keyword">val</span> agg_sample</span> : <code class="type">'a -> 'b -> 'c -> 'd -> 'e</code></pre>
<pre><span id="VALagg_group_concat"><span class="keyword">val</span> agg_group_concat</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> bool -><br> Rdf_sparql_ms.Multimu.t -><br> <a href="Rdf_sparql_types.html#TYPEexpression">Rdf_sparql_types.expression</a> -> string option -> <a href="Rdf_dt.html#TYPEvalue">Rdf_dt.value</a></code></pre>
<pre><span id="VALeval_agg"><span class="keyword">val</span> eval_agg</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEaggregate">Rdf_sparql_types.aggregate</a> -><br> Rdf_sparql_ms.Multimu.t -> Rdf_sparql_ms.VMap.key</code></pre>
<pre><span id="VALaggregation"><span class="keyword">val</span> aggregation</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEaggregate">Rdf_sparql_types.aggregate</a> -><br> Rdf_sparql_ms.Multimu.t GExprMap.t -><br> Rdf_sparql_ms.VMap.key GExprMap.t</code></pre>
<pre><span id="VALaggregate_join"><span class="keyword">val</span> aggregate_join</span> : <code class="type">(<a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -> 'a -> Rdf_sparql_ms.Multimu.t) -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEgroup_condition">Rdf_sparql_types.group_condition</a> list * 'a -><br> <a href="Rdf_sparql_algebra.html#TYPEalgebra">Rdf_sparql_algebra.algebra</a> list -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALcons"><span class="keyword">val</span> cons</span> : <code class="type">'a -> 'a list -> 'a list</code></pre>
<pre><span id="VALfilter_of_var_or_term"><span class="keyword">val</span> filter_of_var_or_term</span> : <code class="type"><a href="Rdf_sparql_types.html#TYPEvar_or_term">Rdf_sparql_types.var_or_term</a> -> string option * <a href="Rdf_node.html#TYPEnode">Rdf_node.node</a> option</code></pre>
<pre><span id="VALeval_simple_triple"><span class="keyword">val</span> eval_simple_triple</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_types.html#TYPEvar_or_term">Rdf_sparql_types.var_or_term</a> -><br> <a href="Rdf_sparql_algebra.html#TYPEpath">Rdf_sparql_algebra.path</a> -><br> <a href="Rdf_sparql_types.html#TYPEvar_or_term">Rdf_sparql_types.var_or_term</a> -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VAL__print_mu"><span class="keyword">val</span> __print_mu</span> : <code class="type"><a href="Rdf_sparql_ms.html#TYPEmu">Rdf_sparql_ms.mu</a> -> unit</code></pre>
<pre><span id="VAL__print_omega"><span class="keyword">val</span> __print_omega</span> : <code class="type">Rdf_sparql_ms.Multimu.t -> unit</code></pre>
<pre><span id="VALactive_graph_subjects_and_objects"><span class="keyword">val</span> active_graph_subjects_and_objects</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -> Rdf_node.NSet.t</code></pre>
<pre><span id="VALeval_datablock"><span class="keyword">val</span> eval_datablock</span> : <code class="type"><a href="Rdf_sparql_types.html#TYPEdatablock">Rdf_sparql_types.datablock</a> -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_triples"><span class="keyword">val</span> eval_triples</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_algebra.html#TYPEtriple">Rdf_sparql_algebra.triple</a> list -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_triple_path_zero_or_one"><span class="keyword">val</span> eval_triple_path_zero_or_one</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_algebra.T.var_or_term -><br> <a href="Rdf_sparql_algebra.html#TYPEpath">Rdf_sparql_algebra.path</a> -><br> Rdf_sparql_algebra.T.var_or_term -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_reachable"><span class="keyword">val</span> eval_reachable</span> : <code class="type">?zero:bool -><br> <a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_algebra.T.var_or_term -><br> <a href="Rdf_sparql_algebra.html#TYPEpath">Rdf_sparql_algebra.path</a> -><br> Rdf_sparql_algebra.T.var -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_triple_path_or_more"><span class="keyword">val</span> eval_triple_path_or_more</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> zero:bool -><br> Rdf_sparql_algebra.T.var_or_term -><br> <a href="Rdf_sparql_algebra.html#TYPEpath">Rdf_sparql_algebra.path</a> -><br> Rdf_sparql_algebra.T.var_or_term -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_triple_path_nps"><span class="keyword">val</span> eval_triple_path_nps</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> Rdf_sparql_algebra.T.var_or_term -><br> <a href="Rdf_sparql_types.html#TYPEiriref">Rdf_sparql_types.iriref</a> list -><br> Rdf_sparql_algebra.T.var_or_term -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_triple"><span class="keyword">val</span> eval_triple</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_algebra.html#TYPEtriple">Rdf_sparql_algebra.triple</a> -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval"><span class="keyword">val</span> eval</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_algebra.html#TYPEalgebra">Rdf_sparql_algebra.algebra</a> -> Rdf_sparql_ms.Multimu.t</code></pre>
<pre><span id="VALeval_list"><span class="keyword">val</span> eval_list</span> : <code class="type"><a href="Rdf_sparql_eval.html#TYPEcontext">context</a> -><br> <a href="Rdf_sparql_algebra.html#TYPEalgebra">Rdf_sparql_algebra.algebra</a> -> Rdf_sparql_ms.MuSet.elt list</code></pre></body></html>
