nanoev/picos/Picos_thread/index.html
2025-05-05 14:16:16 +00:00

2 lines
1.5 KiB
HTML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Picos_thread (picos.Picos_thread)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../_odoc-theme/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../index.html">picos</a> &#x00BB; Picos_thread</nav><header class="odoc-preamble"><h1>Module <code><span>Picos_thread</span></code></h1><p>Minimalistic thread API available with or without <code>threads.posix</code>.</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-is_main_thread"><a href="#val-is_main_thread" class="anchor"></a><code><span><span class="keyword">val</span> is_main_thread : <span>unit <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p><code>is_main_thread ()</code> determines whether running on the main thread of the application.</p></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-TLS"><a href="#module-TLS" class="anchor"></a><code><span><span class="keyword">module</span> <a href="TLS/index.html">TLS</a></span><span> : <span class="keyword">sig</span> ... <span class="keyword">end</span></span></code></div><div class="spec-doc"><p>Thread-local storage.</p></div></div></div></body></html>