deploy: 88f53f205ecec3f96a194b27f3bad59e117a0c8a

This commit is contained in:
c-cube 2024-02-26 03:18:29 +00:00
parent cfbf45dffd
commit 43dff49bf8
3 changed files with 36 additions and 18 deletions

File diff suppressed because one or more lines are too long

View file

@ -0,0 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Level (trace.Trace_core.Level)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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">trace</a> &#x00BB; <a href="../index.html">Trace_core</a> &#x00BB; Level</nav><header class="odoc-preamble"><h1>Module <code><span>Trace_core.Level</span></code></h1><p>Tracing levels.</p><p>This is similar to log levels in, say, <code>Logs</code>. In a thoroughly instrumented program, there will be a <b>lot</b> of spans, and enabling them all in production might slow down the application or overwhelm the tracing system; yet they might be useful in debug situations.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> NEXT_RELEASE</li></ul></header><div class="odoc-content"><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></code><ol><li id="type-t.Error" class="def variant constructor anchored"><a href="#type-t.Error" class="anchor"></a><code><span>| </span><span><span class="constructor">Error</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Only errors</p><span class="comment-delim">*)</span></div></li><li id="type-t.Warning" class="def variant constructor anchored"><a href="#type-t.Warning" class="anchor"></a><code><span>| </span><span><span class="constructor">Warning</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Warnings</p><span class="comment-delim">*)</span></div></li><li id="type-t.Info" class="def variant constructor anchored"><a href="#type-t.Info" class="anchor"></a><code><span>| </span><span><span class="constructor">Info</span></span></code></li><li id="type-t.Debug1" class="def variant constructor anchored"><a href="#type-t.Debug1" class="anchor"></a><code><span>| </span><span><span class="constructor">Debug1</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Least verbose debugging level</p><span class="comment-delim">*)</span></div></li><li id="type-t.Debug2" class="def variant constructor anchored"><a href="#type-t.Debug2" class="anchor"></a><code><span>| </span><span><span class="constructor">Debug2</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Intermediate verbosity debugging level</p><span class="comment-delim">*)</span></div></li><li id="type-t.Debug3" class="def variant constructor anchored"><a href="#type-t.Debug3" class="anchor"></a><code><span>| </span><span><span class="constructor">Debug3</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Maximum verbosity debugging level</p><span class="comment-delim">*)</span></div></li><li id="type-t.Trace" class="def variant constructor anchored"><a href="#type-t.Trace" class="anchor"></a><code><span>| </span><span><span class="constructor">Trace</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Enable everything (default level)</p><span class="comment-delim">*)</span></div></li></ol></div><div class="spec-doc"><p>Level of tracing. These levels are in increasing order, i.e if level <code>Debug1</code> is enabled, everything below it (Error, Warning, Info, etc.) are also enabled.</p><ul class="at-tags"><li class="since"><span class="at-tag">since</span> NEXT_RELEASE</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_string"><a href="#val-to_string" class="anchor"></a><code><span><span class="keyword">val</span> to_string : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><ul class="at-tags"><li class="since"><span class="at-tag">since</span> NEXT_RELEASE</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-leq"><a href="#val-leq" class="anchor"></a><code><span><span class="keyword">val</span> leq : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div></div></body></html>

File diff suppressed because one or more lines are too long