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

deploy: be1c1573b1

Browse source
This commit is contained in:
c-cube 2021-12-28 21:48:24 +00:00
parent 6d46d2225b
commit 45845072af
4 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Expr_isa/index.html Normal file
View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Expr_isa (sidekick-base.Sidekick_base_proof_trace.Proof_ser.Expr_isa)</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-base</a> &#x00BB; <a href="../../index.html">Sidekick_base_proof_trace</a> &#x00BB; <a href="../index.html">Proof_ser</a> &#x00BB; Expr_isa</nav><header class="odoc-preamble"><h1>Module <code><span>Proof_ser.Expr_isa</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><span> = </span><span>{</span></code><table><tr id="type-t.c" class="anchored"><td class="def record field"><a href="#type-t.c" class="anchor"></a><code><span>c : <a href="../ID/index.html#type-t">ID.t</a>;</span></code></td></tr><tr id="type-t.arg" class="anchored"><td class="def record field"><a href="#type-t.arg" class="anchor"></a><code><span>arg : <a href="../ID/index.html#type-t">ID.t</a>;</span></code></td></tr></table><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-decode" class="anchored"><a href="#val-decode" class="anchor"></a><code><span><span class="keyword">val</span> decode : <span><a href="../Bare/Decode/index.html#type-t">Bare.Decode.t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div><div class="spec-doc"><ul class="at-tags"><li class="raises"><span class="at-tag">raises</span> <span class="value">Bare.Decode.Error</span> <p>in case of error.</p></li></ul></div></div><div class="odoc-spec"><div class="spec value" id="val-encode" class="anchored"><a href="#val-encode" class="anchor"></a><code><span><span class="keyword">val</span> encode : <span><a href="../Bare/Encode/index.html#type-t">Bare.Encode.t</a> <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" id="val-pp" class="anchored"><a href="#val-pp" class="anchor"></a><code><span><span class="keyword">val</span> pp : <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></body></html>

2
dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/Step_view/index.html
View file

File diff suppressed because one or more lines are too long

2
dev/sidekick-base/Sidekick_base_proof_trace/Proof_ser/index.html
View file

File diff suppressed because one or more lines are too long

2
dev/sidekick/Sidekick_quip/Proof/T/index.html
View file

File diff suppressed because one or more lines are too long