Skip to content

Commit 3290f8c

Browse files
HalbarothHalbaroth
committed
Deploying to gh-pages from @ 21da95d 🚀
1 parent 64c7845 commit 3290f8c

File tree

324 files changed

+344
-327
lines changed

Some content is hidden

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

324 files changed

+344
-327
lines changed

‎next/API/alt-ergo-lib/AltErgoLib/Ac/Make/argument-1-X/index.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎next/API/alt-ergo-lib/AltErgoLib/Ac/Make/index.html‎

Lines changed: 1 addition & 1 deletion
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>Make (alt-ergo-lib.AltErgoLib.Ac.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../../../index.html">alt-ergo-lib</a> &#x00BB; <a href="../../index.html">AltErgoLib</a> &#x00BB; <a href="../index.html">Ac</a> &#x00BB; Make</nav><header class="odoc-preamble"><h1>Module <code><span>Ac.Make</span></code></h1></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav></div><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-X"><a href="#argument-1-X" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-X/index.html">X</a></span><span> : <a href="../../Sig/module-type-X/index.html">Sig.X</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec type anchored" id="type-r"><a href="#type-r" class="anchor"></a><code><span><span class="keyword">type</span> r</span><span> = <a href="argument-1-X/index.html#type-r">X.r</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span><a href="#type-r">r</a> <a href="../../Sig/index.html#type-ac">Sig.ac</a></span></span></code></div></div><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="../../Expr/index.html#type-t">Expr.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a> * <span><a href="../../Expr/index.html#type-t">Expr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_mine_symb"><a href="#val-is_mine_symb" class="anchor"></a><code><span><span class="keyword">val</span> is_mine_symb : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>Tells whether the given symbol is AC.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_info"><a href="#val-type_info" class="anchor"></a><code><span><span class="keyword">val</span> type_info : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../Ty/index.html#type-t">Ty.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-leaves"><a href="#val-leaves" class="anchor"></a><code><span><span class="keyword">val</span> leaves : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-r">r</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-subst"><a href="#val-subst" class="anchor"></a><code><span><span class="keyword">val</span> subst : <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add"><a href="#val-add" class="anchor"></a><code><span><span class="keyword">val</span> add : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-r">r</a> * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fully_interpreted"><a href="#val-fully_interpreted" class="anchor"></a><code><span><span class="keyword">val</span> fully_interpreted : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-abstract_selectors"><a href="#val-abstract_selectors" class="anchor"></a><code><span><span class="keyword">val</span> abstract_selectors : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-r">r</a> * <a href="#type-r">r</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a> * <span><span>(<a href="#type-r">r</a> * <a href="#type-r">r</a>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compact"><a href="#val-compact" class="anchor"></a><code><span><span class="keyword">val</span> compact : <span><span><span>(<a href="#type-r">r</a> * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-assign_value"><a href="#val-assign_value" class="anchor"></a><code><span><span class="keyword">val</span> assign_value : <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><span><a href="#type-r">r</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="../../Expr/index.html#type-t">Expr.t</a> * <a href="#type-r">r</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../../Expr/index.html#type-t">Expr.t</a> * bool)</span> option</span></span></code></div></div></div></body></html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (alt-ergo-lib.AltErgoLib.Ac.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.1.0"/><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">Index</a> &#x00BB; <a href="../../../index.html">alt-ergo-lib</a> &#x00BB; <a href="../../index.html">AltErgoLib</a> &#x00BB; <a href="../index.html">Ac</a> &#x00BB; Make</nav><header class="odoc-preamble"><h1>Module <code><span>Ac.Make</span></code></h1></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav></div><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-X"><a href="#argument-1-X" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-X/index.html">X</a></span><span> : <a href="../../Sig/module-type-X/index.html">Sig.X</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec type anchored" id="type-r"><a href="#type-r" class="anchor"></a><code><span><span class="keyword">type</span> r</span><span> = <a href="argument-1-X/index.html#type-r">X.r</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span><a href="#type-r">r</a> <a href="../../Sig/index.html#type-ac">Sig.ac</a></span></span></code></div></div><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="../../Expr/index.html#type-t">Expr.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a> * <span><a href="../../Expr/index.html#type-t">Expr.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_mine_symb"><a href="#val-is_mine_symb" class="anchor"></a><code><span><span class="keyword">val</span> is_mine_symb : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>Tells whether the given symbol is AC.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span><span class="keyword">val</span> compare : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span><span class="keyword">val</span> hash : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-type_info"><a href="#val-type_info" class="anchor"></a><code><span><span class="keyword">val</span> type_info : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../Ty/index.html#type-t">Ty.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-leaves"><a href="#val-leaves" class="anchor"></a><code><span><span class="keyword">val</span> leaves : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-r">r</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-subst"><a href="#val-subst" class="anchor"></a><code><span><span class="keyword">val</span> subst : <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add"><a href="#val-add" class="anchor"></a><code><span><span class="keyword">val</span> add : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-r">r</a> * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-fully_interpreted"><a href="#val-fully_interpreted" class="anchor"></a><code><span><span class="keyword">val</span> fully_interpreted : <span><a href="../../Symbols/index.html#type-t">Symbols.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-abstract_selectors"><a href="#val-abstract_selectors" class="anchor"></a><code><span><span class="keyword">val</span> abstract_selectors : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-r">r</a> * <a href="#type-r">r</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-r">r</a> * <span><span>(<a href="#type-r">r</a> * <a href="#type-r">r</a>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-compact"><a href="#val-compact" class="anchor"></a><code><span><span class="keyword">val</span> compact : <span><span><span>(<a href="#type-r">r</a> * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-r">r</a> * int)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-assign_value"><a href="#val-assign_value" class="anchor"></a><code><span><span class="keyword">val</span> assign_value : <span><a href="#type-r">r</a> <span class="arrow">&#45;&gt;</span></span> <span><span><a href="#type-r">r</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="../../Expr/index.html#type-t">Expr.t</a> * <a href="#type-r">r</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../../Expr/index.html#type-t">Expr.t</a> * bool)</span> option</span></span></code></div></div></div></body></html>

‎next/API/alt-ergo-lib/AltErgoLib/Ac/index.html‎

Lines changed: 1 addition & 1 deletion
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>Ac (alt-ergo-lib.AltErgoLib.Ac)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../../index.html">alt-ergo-lib</a> &#x00BB; <a href="../index.html">AltErgoLib</a> &#x00BB; Ac</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Ac</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-src"><a href="#val-src" class="anchor"></a><code><span><span class="keyword">val</span> src : <span class="xref-unresolved">Logs</span>.src</span></code></div></div><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><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-X/index.html">X</a> : <a href="../Sig/module-type-X/index.html">Sig.X</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-r">r</a> = <a href="Make/argument-1-X/index.html#type-r">X.r</a></span></span></code></div></div></div></body></html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Ac (alt-ergo-lib.AltErgoLib.Ac)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.1.0"/><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">Index</a> &#x00BB; <a href="../../index.html">alt-ergo-lib</a> &#x00BB; <a href="../index.html">AltErgoLib</a> &#x00BB; Ac</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Ac</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-src"><a href="#val-src" class="anchor"></a><code><span><span class="keyword">val</span> src : <span class="xref-unresolved">Logs</span>.src</span></code></div></div><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><div class="odoc-spec"><div class="spec module anchored" id="module-Make"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-X/index.html">X</a> : <a href="../Sig/module-type-X/index.html">Sig.X</a>) : <a href="module-type-S/index.html">S</a> <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="module-type-S/index.html#type-r">r</a> = <a href="Make/argument-1-X/index.html#type-r">X.r</a></span></span></code></div></div></div></body></html>

0 commit comments

Comments
 (0)