simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

deploy: 651f2c1150

Browse source
This commit is contained in:
c-cube 2022-10-24 01:03:48 +00:00
parent c498c6dc32
commit 37e82adeeb
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dev/sidekick/Sidekick_core_logic/index.html
View file

@ -1,2 +1,2 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Sidekick_core_logic (sidekick.Sidekick_core_logic)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../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">sidekick</a> &#x00BB; Sidekick_core_logic</nav><header class="odoc-preamble"><h1>Module <code><span>Sidekick_core_logic</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module" id="module-Term" class="anchored"><a href="#module-Term" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Term/index.html">Term</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Core logic terms.</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Var" class="anchored"><a href="#module-Var" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Var/index.html">Var</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Free variable</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Bvar" class="anchored"><a href="#module-Bvar" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Bvar/index.html">Bvar</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Bound variable</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Const" class="anchored"><a href="#module-Const" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Const/index.html">Const</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Constants.</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Subst" class="anchored"><a href="#module-Subst" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Subst/index.html">Subst</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Substitutions</p></div></div><div class="odoc-spec"><div class="spec module" id="module-T_builtins" class="anchored"><a href="#module-T_builtins" class="anchor"></a><code><span><span class="keyword">module</span> <a href="T_builtins/index.html">T_builtins</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Core builtins</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Ser_sink" class="anchored"><a href="#module-Ser_sink" class="anchor"></a><code><span><span class="keyword">module</span> Ser_sink</span><span> = <a href="../Sidekick_util/Ser_sink/index.html">Sidekick_util.Ser_sink</a></span></code></div></div><div class="odoc-spec"><div class="spec module" id="module-Store" class="anchored"><a href="#module-Store" class="anchor"></a><code><span><span class="keyword">module</span> Store</span><span> = <a href="Term/Store/index.html">Term.Store</a></span></code></div></div><div class="odoc-spec"><div class="spec module" id="module-Str_const" class="anchored"><a href="#module-Str_const" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Str_const/index.html">Str_const</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Basic string constants.</p></div></div></div></body></html> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Sidekick_core_logic (sidekick.Sidekick_core_logic)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.1.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../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">sidekick</a> &#x00BB; Sidekick_core_logic</nav><header class="odoc-preamble"><h1>Module <code><span>Sidekick_core_logic</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module" id="module-Term" class="anchored"><a href="#module-Term" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Term/index.html">Term</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Core logic terms.</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Var" class="anchored"><a href="#module-Var" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Var/index.html">Var</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Free variable</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Bvar" class="anchored"><a href="#module-Bvar" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Bvar/index.html">Bvar</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Bound variable</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Const" class="anchored"><a href="#module-Const" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Const/index.html">Const</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Constants.</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Subst" class="anchored"><a href="#module-Subst" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Subst/index.html">Subst</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Substitutions</p></div></div><div class="odoc-spec"><div class="spec module" id="module-T_builtins" class="anchored"><a href="#module-T_builtins" class="anchor"></a><code><span><span class="keyword">module</span> <a href="T_builtins/index.html">T_builtins</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Core builtins</p></div></div><div class="odoc-spec"><div class="spec module" id="module-Store" class="anchored"><a href="#module-Store" class="anchor"></a><code><span><span class="keyword">module</span> Store</span><span> = <a href="Term/Store/index.html">Term.Store</a></span></code></div></div><div class="odoc-spec"><div class="spec module" id="module-Str_const" class="anchored"><a href="#module-Str_const" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Str_const/index.html">Str_const</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Basic string constants.</p></div></div></div></body></html>

2
dev/sidekick/Sidekick_util/index.html
View file

File diff suppressed because one or more lines are too long