Deploying to gh-pages from @ 5f65a22 🚀

Halbaroth · Halbaroth · commit a0017dbc9dd2 · 2025-03-24T08:59:56.000Z
diff --git a/next/API/alt-ergo-lib/AltErgoLib/Compat/In_channel/index.html b/next/API/alt-ergo-lib/AltErgoLib/Compat/In_channel/index.html
@@ -0,0 +1,2 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>In_channel (alt-ergo-lib.AltErgoLib.Compat.In_channel)</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">Compat</a> &#x00BB; In_channel</nav><header class="odoc-preamble"><h1>Module <code><span>Compat.In_channel</span></code></h1><p>Input channels.</p><p>This module provides functions for working with input channels.</p><p>See <span class="xref-unresolved" title="examples">the example section</span> below.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> OCaml 4.14</li></ul></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#channels">Channels</a></li></ul></nav></div><div class="odoc-content"><h2 id="channels"><a href="#channels" class="anchor"></a>Channels</h2><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 class="xref-unresolved">Stdlib</span>.in_channel</span></code></div><div class="spec-doc"><p>The type of input channel.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-isatty"><a href="#val-isatty" class="anchor"></a><code><span><span class="keyword">val</span> isatty : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p><code>isatty ic</code> is <code>true</code> if <code>ic</code> refers to a terminal or console window, <code>false</code> otherwise.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> OCaml 5.1</li></ul></div></div></div></body></html>
diff --git a/next/API/alt-ergo-lib/AltErgoLib/Compat/index.html b/next/API/alt-ergo-lib/AltErgoLib/Compat/index.html
@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Compat (alt-ergo-lib.AltErgoLib.Compat)</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; Compat</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Compat</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-List"><a href="#module-List" class="anchor"></a><code><span><span class="keyword">module</span> <a href="List/index.html">List</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-String"><a href="#module-String" class="anchor"></a><code><span><span class="keyword">module</span> <a href="String/index.html">String</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-Seq"><a href="#module-Seq" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Seq/index.html">Seq</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-Type"><a href="#module-Type" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Type/index.html">Type</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Type introspection.</p></div></div></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Compat (alt-ergo-lib.AltErgoLib.Compat)</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; Compat</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Compat</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-List"><a href="#module-List" class="anchor"></a><code><span><span class="keyword">module</span> <a href="List/index.html">List</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-String"><a href="#module-String" class="anchor"></a><code><span><span class="keyword">module</span> <a href="String/index.html">String</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-Seq"><a href="#module-Seq" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Seq/index.html">Seq</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-Type"><a href="#module-Type" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Type/index.html">Type</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Type introspection.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-In_channel"><a href="#module-In_channel" class="anchor"></a><code><span><span class="keyword">module</span> <a href="In_channel/index.html">In_channel</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Input channels.</p></div></div></div></body></html>
diff --git a/next/API/index.html b/next/API/index.html
@@ -11,8 +11,8 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="alt-ergo/index.html">alt-ergo</a> <span class="version">460ee1b</span></li>
-      <li><a href="alt-ergo-lib/index.html">alt-ergo-lib</a> <span class="version">460ee1b</span></li>
+      <li><a href="alt-ergo/index.html">alt-ergo</a> <span class="version">5f65a22</span></li>
+      <li><a href="alt-ergo-lib/index.html">alt-ergo-lib</a> <span class="version">5f65a22</span></li>
       </ol>
       </div>
     </main>
diff --git a/next/About/changes.html b/next/About/changes.html
@@ -60,6 +60,7 @@
 <li class="toctree-l3"><a class="reference internal" href="#unreleased">unreleased</a><ul>
 <li class="toctree-l4"><a class="reference internal" href="#supported-features">Supported features</a></li>
 <li class="toctree-l4"><a class="reference internal" href="#smt-lib-support">SMT-LIB support</a></li>
+<li class="toctree-l4"><a class="reference internal" href="#user-interface">User Interface</a></li>
 </ul>
 </li>
 <li class="toctree-l3"><a class="reference internal" href="#v2-6-0">v2.6.0</a><ul>
@@ -182,6 +183,12 @@ <h3>SMT-LIB support<a class="headerlink" href="#smt-lib-support" title="Permalin
 <li><p>Remove the legacy frontend and AB-Why3 plugin</p></li>
 </ul>
 </section>
+<section id="user-interface">
+<h3>User Interface<a class="headerlink" href="#user-interface" title="Permalink to this heading"></a></h3>
+<ul class="simple">
+<li><p>Interactive prompt when using interactive mode (#1310)</p></li>
+</ul>
+</section>
 </section>
 <section id="v2-6-0">
 <h2>v2.6.0<a class="headerlink" href="#v2-6-0" title="Permalink to this heading"></a></h2>
diff --git a/next/searchindex.js b/next/searchindex.js

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+<!DOCTYPE html>`
	`2`	+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>In_channel (alt-ergo-lib.AltErgoLib.Compat.In_channel)</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> » <a href="../../../index.html">alt-ergo-lib</a> » <a href="../../index.html">AltErgoLib</a> » <a href="../index.html">Compat</a> » In_channel</nav><header class="odoc-preamble"><h1>Module <code><span>Compat.In_channel</span></code></h1><p>Input channels.</p><p>This module provides functions for working with input channels.</p><p>See <span class="xref-unresolved" title="examples">the example section</span> below.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> OCaml 4.14</li></ul></header><div class="odoc-tocs"><nav class="odoc-toc odoc-local-toc"><ul><li><a href="#channels">Channels</a></li></ul></nav></div><div class="odoc-content"><h2 id="channels"><a href="#channels" class="anchor"></a>Channels</h2><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 class="xref-unresolved">Stdlib</span>.in_channel</span></code></div><div class="spec-doc"><p>The type of input channel.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-isatty"><a href="#val-isatty" class="anchor"></a><code><span><span class="keyword">val</span> isatty : <span><a href="#type-t">t</a> <span class="arrow">-></span></span> bool</span></code></div><div class="spec-doc"><p><code>isatty ic</code> is <code>true</code> if <code>ic</code> refers to a terminal or console window, <code>false</code> otherwise.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> OCaml 5.1</li></ul></div></div></div></body></html>
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`<!DOCTYPE html>`
`2`		-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Compat (alt-ergo-lib.AltErgoLib.Compat)</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> » <a href="../../index.html">alt-ergo-lib</a> » <a href="../index.html">AltErgoLib</a> » Compat</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Compat</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-List"><a href="#module-List" class="anchor"></a><code><span><span class="keyword">module</span> <a href="List/index.html">List</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-String"><a href="#module-String" class="anchor"></a><code><span><span class="keyword">module</span> <a href="String/index.html">String</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-Seq"><a href="#module-Seq" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Seq/index.html">Seq</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-Type"><a href="#module-Type" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Type/index.html">Type</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Type introspection.</p></div></div></div></body></html>
	`2`	+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Compat (alt-ergo-lib.AltErgoLib.Compat)</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> » <a href="../../index.html">alt-ergo-lib</a> » <a href="../index.html">AltErgoLib</a> » Compat</nav><header class="odoc-preamble"><h1>Module <code><span>AltErgoLib.Compat</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-List"><a href="#module-List" class="anchor"></a><code><span><span class="keyword">module</span> <a href="List/index.html">List</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-String"><a href="#module-String" class="anchor"></a><code><span><span class="keyword">module</span> <a href="String/index.html">String</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-Seq"><a href="#module-Seq" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Seq/index.html">Seq</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-Type"><a href="#module-Type" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Type/index.html">Type</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Type introspection.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-In_channel"><a href="#module-In_channel" class="anchor"></a><code><span><span class="keyword">module</span> <a href="In_channel/index.html">In_channel</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Input channels.</p></div></div></div></body></html>