Skip to content

Commit 5d25eb2

Browse files
GburyGbury
committed
Deploying to gh-pages from @ ec32e34 🚀
1 parent 7141ae1 commit 5d25eb2

File tree

782 files changed

+794
-794
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

782 files changed

+794
-794
lines changed

‎dev/dolmen/Dolmen/index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
<!DOCTYPE html>
2-
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dolmen (dolmen.Dolmen)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">dolmen</a> &#x00BB; Dolmen</nav><header class="odoc-preamble"><h1>Module <code><span>Dolmen</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Std"><a href="#module-Std" class="anchor"></a><code><span><span class="keyword">module</span> Std</span><span> = <a href="../Dolmen_std/index.html">Dolmen_std</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Intf"><a href="#module-Intf" class="anchor"></a><code><span><span class="keyword">module</span> Intf</span><span> = <a href="../Dolmen_intf/index.html">Dolmen_intf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Line"><a href="#module-Line" class="anchor"></a><code><span><span class="keyword">module</span> Line</span><span> = <a href="../Dolmen_line/index.html">Dolmen_line</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Ae"><a href="#module-Ae" class="anchor"></a><code><span><span class="keyword">module</span> Ae</span><span> = <a href="../Dolmen_ae/index.html">Dolmen_ae</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Dimacs"><a href="#module-Dimacs" class="anchor"></a><code><span><span class="keyword">module</span> Dimacs</span><span> = <a href="../Dolmen_dimacs/index.html">Dolmen_dimacs</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-ICNF"><a href="#module-ICNF" class="anchor"></a><code><span><span class="keyword">module</span> ICNF</span><span> = <a href="../Dolmen_icnf/index.html">Dolmen_icnf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tptp"><a href="#module-Tptp" class="anchor"></a><code><span><span class="keyword">module</span> Tptp</span><span> = <a href="../Dolmen_tptp/index.html">Dolmen_tptp</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Smtlib2"><a href="#module-Smtlib2" class="anchor"></a><code><span><span class="keyword">module</span> Smtlib2</span><span> = <a href="../Dolmen_smtlib2/index.html">Dolmen_smtlib2</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Zf"><a href="#module-Zf" class="anchor"></a><code><span><span class="keyword">module</span> Zf</span><span> = <a href="../Dolmen_zf/index.html">Dolmen_zf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Class"><a href="#module-Class" class="anchor"></a><code><span><span class="keyword">module</span> Class</span><span> = <a href="../Dolmen_class/index.html">Dolmen_class</a></span></code></div></div></div></body></html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dolmen (dolmen.Dolmen)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../index.html">dolmen</a> &#x00BB; Dolmen</nav><header class="odoc-preamble"><h1>Module <code><span>Dolmen</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-Std"><a href="#module-Std" class="anchor"></a><code><span><span class="keyword">module</span> Std</span><span> = <a href="../Dolmen_std/index.html">Dolmen_std</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Intf"><a href="#module-Intf" class="anchor"></a><code><span><span class="keyword">module</span> Intf</span><span> = <a href="../Dolmen_intf/index.html">Dolmen_intf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Line"><a href="#module-Line" class="anchor"></a><code><span><span class="keyword">module</span> Line</span><span> = <a href="../Dolmen_line/index.html">Dolmen_line</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Ae"><a href="#module-Ae" class="anchor"></a><code><span><span class="keyword">module</span> Ae</span><span> = <a href="../Dolmen_ae/index.html">Dolmen_ae</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Dimacs"><a href="#module-Dimacs" class="anchor"></a><code><span><span class="keyword">module</span> Dimacs</span><span> = <a href="../Dolmen_dimacs/index.html">Dolmen_dimacs</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-ICNF"><a href="#module-ICNF" class="anchor"></a><code><span><span class="keyword">module</span> ICNF</span><span> = <a href="../Dolmen_icnf/index.html">Dolmen_icnf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Tptp"><a href="#module-Tptp" class="anchor"></a><code><span><span class="keyword">module</span> Tptp</span><span> = <a href="../Dolmen_tptp/index.html">Dolmen_tptp</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Smtlib2"><a href="#module-Smtlib2" class="anchor"></a><code><span><span class="keyword">module</span> Smtlib2</span><span> = <a href="../Dolmen_smtlib2/index.html">Dolmen_smtlib2</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Zf"><a href="#module-Zf" class="anchor"></a><code><span><span class="keyword">module</span> Zf</span><span> = <a href="../Dolmen_zf/index.html">Dolmen_zf</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-Class"><a href="#module-Class" class="anchor"></a><code><span><span class="keyword">module</span> Class</span><span> = <a href="../Dolmen_class/index.html">Dolmen_class</a></span></code></div></div></div></body></html>

‎dev/dolmen/Dolmen_ae/Make/Lexer/index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
<!DOCTYPE html>
2-
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lexer (dolmen.Dolmen_ae.Make.Lexer)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> &#x00BB; <a href="../../index.html">Dolmen_ae</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; Lexer</nav><header class="odoc-preamble"><h1>Module <code><span>Make.Lexer</span></code></h1><p>The Lexer module for the language.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span></span></code></div><div class="spec-doc"><p>The exception raised by the lexer when it cannot produce a token.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-descr"><a href="#val-descr" class="anchor"></a><code><span><span class="keyword">val</span> descr : <span><a href="../index.html#type-token">token</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Dolmen_intf/Tok/index.html#type-descr">Dolmen_intf.Tok.descr</a></span></code></div><div class="spec-doc"><p>Asspcoate a description to each token, to help with error messages.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-token"><a href="#val-token" class="anchor"></a><code><span><span class="keyword">val</span> token : <span><span>(<span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-token">token</a></span></code></div><div class="spec-doc"><p>The function producing token from a lexbuf.</p></div></div></div></body></html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lexer (dolmen.Dolmen_ae.Make.Lexer)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> &#x00BB; <a href="../../index.html">Dolmen_ae</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; Lexer</nav><header class="odoc-preamble"><h1>Module <code><span>Make.Lexer</span></code></h1><p>The Lexer module for the language.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span></span></code></div><div class="spec-doc"><p>The exception raised by the lexer when it cannot produce a token.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-descr"><a href="#val-descr" class="anchor"></a><code><span><span class="keyword">val</span> descr : <span><a href="../index.html#type-token">token</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../Dolmen_intf/Tok/index.html#type-descr">Dolmen_intf.Tok.descr</a></span></code></div><div class="spec-doc"><p>Asspcoate a description to each token, to help with error messages.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-token"><a href="#val-token" class="anchor"></a><code><span><span class="keyword">val</span> token : <span><span>(<span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-token">token</a></span></code></div><div class="spec-doc"><p>The function producing token from a lexbuf.</p></div></div></div></body></html>

‎dev/dolmen/Dolmen_ae/Make/Parser/index.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE html>
2-
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parser (dolmen.Dolmen_ae.Make.Parser)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> &#x00BB; <a href="../../index.html">Dolmen_ae</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; Parser</nav><header class="odoc-preamble"><h1>Module <code><span>Make.Parser</span></code></h1><p>The Parser module for the language.</p></header><nav class="odoc-toc"><ul><li><a href="#main-interface">Main interface</a></li></ul></nav><div class="odoc-content"><h3 id="main-interface"><a href="#main-interface" class="anchor"></a>Main interface</h3><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span> <span class="keyword">of</span> int</span></code></div><div class="spec-doc"><p>Exception raised by the parser when it encounters an error.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-file"><a href="#val-file" class="anchor"></a><code><span><span class="keyword">val</span> file :
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Parser (dolmen.Dolmen_ae.Make.Parser)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../../index.html">dolmen</a> &#x00BB; <a href="../../index.html">Dolmen_ae</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; Parser</nav><header class="odoc-preamble"><h1>Module <code><span>Make.Parser</span></code></h1><p>The Parser module for the language.</p></header><nav class="odoc-toc"><ul><li><a href="#main-interface">Main interface</a></li></ul></nav><div class="odoc-content"><h3 id="main-interface"><a href="#main-interface" class="anchor"></a>Main interface</h3><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span> <span class="keyword">of</span> int</span></code></div><div class="spec-doc"><p>Exception raised by the parser when it encounters an error.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-file"><a href="#val-file" class="anchor"></a><code><span><span class="keyword">val</span> file :
33
<span><span>(<span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-token">token</a>)</span> <span class="arrow">&#45;&gt;</span></span>
44
<span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span>
55
<span><a href="../index.html#type-statement">statement</a> list</span></span></code></div><div class="spec-doc"><p>A function that parses an entire file, i.e until the end-of-file token, and return the list of parsed statements.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-input"><a href="#val-input" class="anchor"></a><code><span><span class="keyword">val</span> input :

0 commit comments

Comments
 (0)