Skip to content

Commit

Permalink
Set up pages from 55fd4c9
Browse files Browse the repository at this point in the history
  • Loading branch information
@HadrienRenaud
HadrienRenaud committed Sep 19, 2023
0 parents commit a9bd64d
Show file tree
Hide file tree
Showing 125 changed files with 1,833 additions and 0 deletions.
123 changes: 123 additions & 0 deletions herdtools7/ASLSemanticsReference.html

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions herdtools7/ASLTypingReference.html

Large diffs are not rendered by default.

3 changes: 3 additions & 0 deletions herdtools7/Asllib/AST/index.html

Large diffs are not rendered by default.

10 changes: 10 additions & 0 deletions herdtools7/Asllib/ASTUtils/IMap/index.html

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions herdtools7/Asllib/ASTUtils/ISet/index.html

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions herdtools7/Asllib/ASTUtils/Infix/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Infix (herdtools7.Asllib.ASTUtils.Infix)</title><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">herdtools7</a> &#x00BB; <a href="../../index.html">Asllib</a> &#x00BB; <a href="../index.html">ASTUtils</a> &#x00BB; Infix</nav><header class="odoc-preamble"><h1>Module <code><span>ASTUtils.Infix</span></code></h1><p>Infix utils.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-(~$)"><a href="#val-(~$)" class="anchor"></a><code><span><span class="keyword">val</span> (~$) : <span>int <span class="arrow">&#45;&gt;</span></span> <a href="../../AST/index.html#type-literal">AST.literal</a></span></code></div><div class="spec-doc"><p><code>~$i</code> is an integer literal that contains <code>i</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-(!$)"><a href="#val-(!$)" class="anchor"></a><code><span><span class="keyword">val</span> (!$) : <span>int <span class="arrow">&#45;&gt;</span></span> <a href="../../AST/index.html#type-expr">AST.expr</a></span></code></div><div class="spec-doc"><p>An alias for <code>expr_of_int</code>.</p></div></div></div></body></html>
39 changes: 39 additions & 0 deletions herdtools7/Asllib/ASTUtils/index.html

Large diffs are not rendered by default.

2 changes: 2 additions & 0 deletions herdtools7/Asllib/Backend/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Backend (herdtools7.Asllib.Backend)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">herdtools7</a> &#x00BB; <a href="../index.html">Asllib</a> &#x00BB; Backend</nav><header class="odoc-preamble"><h1>Module <code><span>Asllib.Backend</span></code></h1><p>Signature module of the backend of <a href="../Interpreter/index.html"><code>Interpreter</code></a>.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-S"><a href="#module-type-S" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-S/index.html">S</a></span><span> = <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>This module is the signature of any backend of the ASL interpreter.</p></div></div></div></body></html>
2 changes: 2 additions & 0 deletions herdtools7/Asllib/Backend/module-type-S/index.html

Large diffs are not rendered by default.

4 changes: 4 additions & 0 deletions herdtools7/Asllib/Bitvector/index.html

Large diffs are not rendered by default.

15 changes: 15 additions & 0 deletions herdtools7/Asllib/Builder/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Builder (herdtools7.Asllib.Builder)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">herdtools7</a> &#x00BB; <a href="../index.html">Asllib</a> &#x00BB; Builder</nav><header class="odoc-preamble"><h1>Module <code><span>Asllib.Builder</span></code></h1><p>Builds an <a href="../AST/index.html#type-t"><code>AST.t</code></a> from some files.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-token"><a href="#type-token" class="anchor"></a><code><span><span class="keyword">type</span> token</span><span> = <a href="../Parser/index.html#type-token">Parser.token</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-ast_type"><a href="#type-ast_type" class="anchor"></a><code><span><span class="keyword">type</span> ast_type</span><span> = </span><span>[ </span></code><ol><li id="type-ast_type.Opn" class="def constructor anchored"><a href="#type-ast_type.Opn" class="anchor"></a><code><span>| </span></code><code><span>`Opn</span></code></li><li id="type-ast_type.Ast" class="def constructor anchored"><a href="#type-ast_type.Ast" class="anchor"></a><code><span>| </span></code><code><span>`Ast</span></code></li></ol><code><span> ]</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-version"><a href="#type-version" class="anchor"></a><code><span><span class="keyword">type</span> version</span><span> = </span><span>[ </span></code><ol><li id="type-version.ASLv0" class="def constructor anchored"><a href="#type-version.ASLv0" class="anchor"></a><code><span>| </span></code><code><span>`ASLv0</span></code></li><li id="type-version.ASLv1" class="def constructor anchored"><a href="#type-version.ASLv1" class="anchor"></a><code><span>| </span></code><code><span>`ASLv1</span></code></li></ol><code><span> ]</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-version_selector"><a href="#type-version_selector" class="anchor"></a><code><span><span class="keyword">type</span> version_selector</span><span> = </span><span>[ </span></code><ol><li id="type-version_selector.ASLv0" class="def constructor anchored"><a href="#type-version_selector.ASLv0" class="anchor"></a><code><span>| </span></code><code><span>`ASLv0</span></code></li><li id="type-version_selector.ASLv1" class="def constructor anchored"><a href="#type-version_selector.ASLv1" class="anchor"></a><code><span>| </span></code><code><span>`ASLv1</span></code></li><li id="type-version_selector.Any" class="def constructor anchored"><a href="#type-version_selector.Any" class="anchor"></a><code><span>| </span></code><code><span>`Any</span></code></li></ol><code><span> ]</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_file_result"><a href="#val-from_file_result" class="anchor"></a><code><span><span class="keyword">val</span> from_file_result :
<span>?ast_type:<a href="#type-ast_type">ast_type</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="#type-version">version</a> <span class="arrow">&#45;&gt;</span></span>
<span>string <span class="arrow">&#45;&gt;</span></span>
<span><span><span class="type-var">'p</span> <a href="../AST/index.html#type-t">AST.t</a></span> <a href="../Error/index.html#type-result">Error.result</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_file"><a href="#val-from_file" class="anchor"></a><code><span><span class="keyword">val</span> from_file : <span>?ast_type:<a href="#type-ast_type">ast_type</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-version">version</a> <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'p</span> <a href="../AST/index.html#type-t">AST.t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_lexer_lexbuf"><a href="#val-from_lexer_lexbuf" class="anchor"></a><code><span><span class="keyword">val</span> from_lexer_lexbuf :
<span>?ast_type:<a href="#type-ast_type">ast_type</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="#type-version">version</a> <span class="arrow">&#45;&gt;</span></span>
<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="xref-unresolved">Stdlib</span>.Lexing.lexbuf <span class="arrow">&#45;&gt;</span></span>
<span><span><span class="type-var">'p</span> <a href="../AST/index.html#type-t">AST.t</a></span> <a href="../Error/index.html#type-result">Error.result</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-from_file_multi_version"><a href="#val-from_file_multi_version" class="anchor"></a><code><span><span class="keyword">val</span> from_file_multi_version :
<span>?ast_type:<a href="#type-ast_type">ast_type</a> <span class="arrow">&#45;&gt;</span></span>
<span><a href="#type-version_selector">version_selector</a> <span class="arrow">&#45;&gt;</span></span>
<span>string <span class="arrow">&#45;&gt;</span></span>
<span><span><span class="type-var">'p</span> <a href="../AST/index.html#type-t">AST.t</a></span> <a href="../Error/index.html#type-result">Error.result</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-stdlib"><a href="#val-stdlib" class="anchor"></a><code><span><span class="keyword">val</span> stdlib : <span><span>unit <a href="../AST/index.html#type-t">AST.t</a></span> <span class="xref-unresolved">Stdlib</span>.Lazy.t</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-with_stdlib"><a href="#val-with_stdlib" class="anchor"></a><code><span><span class="keyword">val</span> with_stdlib : <span><span><span class="type-var">'a</span> <a href="../AST/index.html#type-t">AST.t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="../AST/index.html#type-t">AST.t</a></span></span></code></div></div></div></body></html>
2 changes: 2 additions & 0 deletions herdtools7/Asllib/Diet/Int/Interval/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Interval (herdtools7.Asllib.Diet.Int.Interval)</title><link rel="stylesheet" href="../../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">herdtools7</a> &#x00BB; <a href="../../../index.html">Asllib</a> &#x00BB; <a href="../../index.html">Diet</a> &#x00BB; <a href="../index.html">Int</a> &#x00BB; Interval</nav><header class="odoc-preamble"><h1>Module <code><span>Int.Interval</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-make"><a href="#val-make" class="anchor"></a><code><span><span class="keyword">val</span> make : <span><a href="../index.html#type-elt">elt</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../index.html#type-elt">elt</a> <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-interval">interval</a></span></code></div><div class="spec-doc"><p><code>make first last</code> construct an interval describing all the elements from <code>first</code> to <code>last</code> inclusive.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-x"><a href="#val-x" class="anchor"></a><code><span><span class="keyword">val</span> x : <span><a href="../index.html#type-interval">interval</a> <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-elt">elt</a></span></code></div><div class="spec-doc"><p>the starting element of the interval</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-y"><a href="#val-y" class="anchor"></a><code><span><span class="keyword">val</span> y : <span><a href="../index.html#type-interval">interval</a> <span class="arrow">&#45;&gt;</span></span> <a href="../index.html#type-elt">elt</a></span></code></div><div class="spec-doc"><p>the ending element of the interval</p></div></div></div></body></html>
Loading

0 comments on commit a9bd64d

Please sign in to comment.