From f9367194e99dde0b3eb66c9ad75d3475346e7e1c Mon Sep 17 00:00:00 2001
From: favonia <favonia@users.noreply.github.com>
Date: Wed, 27 Sep 2023 03:56:11 +0000
Subject: [PATCH] deploy: 9ef07f6071075a2b6097abd35f74c2f0d29b2b3c

---
 asai/Asai/Tty/Make/index.html | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/asai/Asai/Tty/Make/index.html b/asai/Asai/Tty/Make/index.html
index 3448520..9e07300 100644
--- a/asai/Asai/Tty/Make/index.html
+++ b/asai/Asai/Tty/Make/index.html
@@ -8,7 +8,11 @@
  21 │ noooooooooooooooooo
     ┷
  [E002] Why am I checking the term (→ ℕ (→ ℕ ℕ)),
-        which looks amazing?</pre></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><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-Code"><a href="#argument-1-Code" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-Code/index.html">Code</a></span><span> : <a href="../../Diagnostic/module-type-Code/index.html">Diagnostic.Code</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec value anchored" id="val-display"><a href="#val-display" class="anchor"></a><code><span><span class="keyword">val</span> display : <span>?show_backtrace:bool <span class="arrow">&#45;&gt;</span></span> <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p><code>display d</code> prints the diagnostic <code>d</code> to the standard output, using terminal control characters for formatting. A message will look like this:</p><pre>    🭁 examples/stlc/example1.lambda
+        which looks amazing?</pre></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><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-Code"><a href="#argument-1-Code" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-Code/index.html">Code</a></span><span> : <a href="../../Diagnostic/module-type-Code/index.html">Diagnostic.Code</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec value anchored" id="val-display"><a href="#val-display" class="anchor"></a><code><span><span class="keyword">val</span> display : 
+  <span>?show_backtrace:bool <span class="arrow">&#45;&gt;</span></span>
+  <span>?tab_size:int <span class="arrow">&#45;&gt;</span></span>
+  <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span>
+  unit</span></code></div><div class="spec-doc"><p><code>display d</code> prints the diagnostic <code>d</code> to the standard output, using terminal control characters for formatting. A message will look like this:</p><pre>    🭁 examples/stlc/example1.lambda
     │
   1 │ (check (λ ä (λ 123
   2 │   sdaf)) (→ ℕ (→ ℕ ℕ)))
@@ -27,4 +31,4 @@
     🭁 examples/stlc/example3.lambda
     │
   8 │ assert (asai is cool)
-    ┷</pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">show_backtrace</span> <p>Whether the backtrace should be shown. The default is <code>false</code>.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-interactive_trace"><a href="#val-interactive_trace" class="anchor"></a><code><span><span class="keyword">val</span> interactive_trace : <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p><code>interactive_trace d</code> drops the user in a small interactive terminal app where they can cycle through the message provided in <code>d</code> and its backtrace.</p></div></div></div></body></html>
\ No newline at end of file
+    ┷</pre><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">show_backtrace</span> <p>Whether the backtrace should be shown. The default is <code>false</code>.</p></li></ul><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">tab_size</span> <p>The width of a horizontal tab on screen (in terms of the number of space characters that replace it).</p></li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-interactive_trace"><a href="#val-interactive_trace" class="anchor"></a><code><span><span class="keyword">val</span> interactive_trace : <span>?tab_size:int <span class="arrow">&#45;&gt;</span></span> <span><span><a href="argument-1-Code/index.html#type-t">Code.t</a> <a href="../../Diagnostic/index.html#type-t">Diagnostic.t</a></span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div><div class="spec-doc"><p><code>interactive_trace d</code> drops the user in a small interactive terminal app where they can cycle through the message provided in <code>d</code> and its backtrace.</p><ul class="at-tags"><li class="parameter"><span class="at-tag">parameter</span> <span class="value">tab_size</span> <p>The width of a horizontal tab on screen (in terms of the number of space characters that replace it).</p></li></ul></div></div></div></body></html>
\ No newline at end of file