simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-26 03:16:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

deploy: 72d121fa64

Browse source
This commit is contained in:
c-cube 2021-12-07 19:11:45 +00:00
parent 8030393136
commit 49009aa346
11 changed files with 16 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dev/sidekick/Sidekick_sat/Proof_dummy/Make/Step_vec/index.html Normal file
View file

File diff suppressed because one or more lines are too long

2
dev/sidekick/Sidekick_sat/Proof_dummy/Make/argument-1-Lit/index.html Normal file
View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lit (sidekick.Sidekick_sat.Proof_dummy.Make.1-Lit)</title><link rel="stylesheet" href="../../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.0.2"/><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; <a href="../../../index.html">Sidekick_sat</a> &#x00BB; <a href="../../index.html">Proof_dummy</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; 1-Lit</nav><header class="odoc-preamble"><h1>Parameter <code><span>Make.1-Lit</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type" id="type-t" class="anchored"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span></code></div></div></div></body></html>

2
dev/sidekick/Sidekick_sat/Proof_dummy/Make/index.html Normal file
View file

File diff suppressed because one or more lines are too long

2
dev/sidekick/Sidekick_sat/Proof_dummy/index.html Normal file
View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Proof_dummy (sidekick.Sidekick_sat.Proof_dummy)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.0.2"/><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; <a href="../index.html">Sidekick_sat</a> &#x00BB; Proof_dummy</nav><header class="odoc-preamble"><h1>Module <code><span>Sidekick_sat.Proof_dummy</span></code></h1><p>Module for dummy proofs based on unit</p><p>Dummy proof module that does nothing.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module" id="module-Make" class="anchored"><a href="#module-Make" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="Make/index.html">Make</a></span><span> (<a href="Make/argument-1-Lit/index.html">Lit</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span>) : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div></div></div></body></html>

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

File diff suppressed because one or more lines are too long

0
dev/sidekick/Sidekick_sat__Proof_dummy/.dune-keep Normal file
View file

2
dev/sidekick/Sidekick_sat__Proof_dummy/index.html Normal file
View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Sidekick_sat__Proof_dummy (sidekick.Sidekick_sat__Proof_dummy)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.0.2"/><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_sat__Proof_dummy</nav><header class="odoc-preamble"><h1>Module <code><span>Sidekick_sat__Proof_dummy</span></code></h1></header><div class="odoc-content"></div></body></html>

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

File diff suppressed because one or more lines are too long

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

File diff suppressed because one or more lines are too long

0
dev/sidekick/Sidekick_util__Backtrackable_ref/.dune-keep Normal file
View file

2
dev/sidekick/Sidekick_util__Backtrackable_ref/index.html Normal file
View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Sidekick_util__Backtrackable_ref (sidekick.Sidekick_util__Backtrackable_ref)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.0.2"/><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_util__Backtrackable_ref</nav><header class="odoc-preamble"><h1>Module <code><span>Sidekick_util__Backtrackable_ref</span></code></h1></header><div class="odoc-content"></div></body></html>