<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Posix_types (posix-types.Posix_types)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">posix-types</a> » Posix_types</nav><h1>Module <code>Posix_types</code></h1><nav class="toc"><ul><li><a href="#posix-arithmetic-types">POSIX arithmetic types</a><ul><li><a href="#base-modules">Base modules</a></li><li><a href="#types">Types</a></li><li><a href="#values">Values</a></li></ul></li><li><a href="#pthread-api">Pthread API</a><ul><li><a href="#base-module">Base module</a></li><li><a href="#types">Types</a></li><li><a href="#values">Values</a></li></ul></li></ul></nav></header><aside><p>POSIX types from <sys/types.h>. This module is used to build further POSIX bindings. See <code>Posix_time2_types</code> for an example.</p></aside><section><header><h3 id="posix-arithmetic-types"><a href="#posix-arithmetic-types" class="anchor"></a>POSIX arithmetic types</h3></header><section><header><h4 id="base-modules"><a href="#base-modules" class="anchor"></a>Base modules</h4></header><div class="spec module" id="module-Blkcnt"><a href="#module-Blkcnt" class="anchor"></a><code><span class="keyword">module</span> Blkcnt : Signed.S</code></div><div class="spec module" id="module-Blksize"><a href="#module-Blksize" class="anchor"></a><code><span class="keyword">module</span> Blksize : Signed.S</code></div><div class="spec module" id="module-Clock"><a href="#module-Clock" class="anchor"></a><code><span class="keyword">module</span> <a href="Clock/index.html">Clock</a> : <a href="../../posix-base/Posix_base/Types/index.html#module-type-Arithmetic">Posix_base.Types.Arithmetic</a></code></div><div class="spec module" id="module-Clockid"><a href="#module-Clockid" class="anchor"></a><code><span class="keyword">module</span> Clockid : Unsigned.S</code></div><div class="spec module" id="module-Dev"><a href="#module-Dev" class="anchor"></a><code><span class="keyword">module</span> Dev : Unsigned.S</code></div><div class="spec module" id="module-Fsblkcnt"><a href="#module-Fsblkcnt" class="anchor"></a><code><span class="keyword">module</span> Fsblkcnt : Unsigned.S</code></div><div class="spec module" id="module-Fsfilcnt"><a href="#module-Fsfilcnt" class="anchor"></a><code><span class="keyword">module</span> Fsfilcnt : Unsigned.S</code></div><div class="spec module" id="module-Gid"><a href="#module-Gid" class="anchor"></a><code><span class="keyword">module</span> Gid : Unsigned.S</code></div><div class="spec module" id="module-Id"><a href="#module-Id" class="anchor"></a><code><span class="keyword">module</span> Id : Unsigned.S</code></div><div class="spec module" id="module-Ino"><a href="#module-Ino" class="anchor"></a><code><span class="keyword">module</span> Ino : Unsigned.S</code></div><div class="spec module" id="module-Key"><a href="#module-Key" class="anchor"></a><code><span class="keyword">module</span> <a href="Key/index.html">Key</a> : <a href="../../posix-base/Posix_base/Types/index.html#module-type-Arithmetic">Posix_base.Types.Arithmetic</a></code></div><div class="spec module" id="module-Mode"><a href="#module-Mode" class="anchor"></a><code><span class="keyword">module</span> Mode : Unsigned.S</code></div><div class="spec module" id="module-Nlink"><a href="#module-Nlink" class="anchor"></a><code><span class="keyword">module</span> Nlink : Unsigned.S</code></div><div class="spec module" id="module-Off"><a href="#module-Off" class="anchor"></a><code><span class="keyword">module</span> Off : Signed.S</code></div><div class="spec module" id="module-Pid"><a href="#module-Pid" class="anchor"></a><code><span class="keyword">module</span> Pid : Signed.S</code></div><div class="spec module" id="module-Size"><a href="#module-Size" class="anchor"></a><code><span class="keyword">module</span> Size : Unsigned.S</code></div><div class="spec module" id="module-Ssize"><a href="#module-Ssize" class="anchor"></a><code><span class="keyword">module</span> Ssize : Signed.S</code></div><div class="spec module" id="module-Time"><a href="#module-Time" class="anchor"></a><code><span class="keyword">module</span> <a href="Time/index.html">Time</a> : <a href="../../posix-base/Posix_base/Types/index.html#module-type-Arithmetic">Posix_base.Types.Arithmetic</a></code></div><div class="spec module" id="module-Uid"><a href="#module-Uid" class="anchor"></a><code><span class="keyword">module</span> Uid : Unsigned.S</code></div><div class="spec module" id="module-Useconds"><a href="#module-Useconds" class="anchor"></a><code><span class="keyword">module</span> Useconds : Unsigned.S</code></div><div class="spec module" id="module-Suseconds"><a href="#module-Suseconds" class="anchor"></a><code><span class="keyword">module</span> Suseconds : Signed.S</code></div></section><section><header><h4 id="types"><a href="#types" class="anchor"></a>Types</h4></header><dl><dt class="spec type" id="type-blkcnt_t"><a href="#type-blkcnt_t" class="anchor"></a><code><span class="keyword">type</span> blkcnt_t</code><code> = <a href="index.html#module-Blkcnt">Blkcnt</a>.t</code></dt><dt class="spec type" id="type-blksize_t"><a href="#type-blksize_t" class="anchor"></a><code><span class="keyword">type</span> blksize_t</code><code> = <a href="index.html#module-Blksize">Blksize</a>.t</code></dt><dt class="spec type" id="type-clock_t"><a href="#type-clock_t" class="anchor"></a><code><span class="keyword">type</span> clock_t</code><code> = <a href="Clock/index.html#type-t">Clock.t</a></code></dt><dt class="spec type" id="type-clockid_t"><a href="#type-clockid_t" class="anchor"></a><code><span class="keyword">type</span> clockid_t</code><code> = <a href="index.html#module-Clockid">Clockid</a>.t</code></dt><dt class="spec type" id="type-dev_t"><a href="#type-dev_t" class="anchor"></a><code><span class="keyword">type</span> dev_t</code><code> = <a href="index.html#module-Dev">Dev</a>.t</code></dt><dt class="spec type" id="type-fsblkcnt_t"><a href="#type-fsblkcnt_t" class="anchor"></a><code><span class="keyword">type</span> fsblkcnt_t</code><code> = <a href="index.html#module-Fsblkcnt">Fsblkcnt</a>.t</code></dt><dt class="spec type" id="type-fsfilcnt_t"><a href="#type-fsfilcnt_t" class="anchor"></a><code><span class="keyword">type</span> fsfilcnt_t</code><code> = <a href="index.html#module-Fsfilcnt">Fsfilcnt</a>.t</code></dt><dt class="spec type" id="type-gid_t"><a href="#type-gid_t" class="anchor"></a><code><span class="keyword">type</span> gid_t</code><code> = <a href="index.html#module-Gid">Gid</a>.t</code></dt><dt class="spec type" id="type-id_t"><a href="#type-id_t" class="anchor"></a><code><span class="keyword">type</span> id_t</code><code> = <a href="index.html#module-Id">Id</a>.t</code></dt><dt class="spec type" id="type-ino_t"><a href="#type-ino_t" class="anchor"></a><code><span class="keyword">type</span> ino_t</code><code> = <a href="index.html#module-Ino">Ino</a>.t</code></dt><dt class="spec type" id="type-key_t"><a href="#type-key_t" class="anchor"></a><code><span class="keyword">type</span> key_t</code><code> = <a href="Key/index.html#type-t">Key.t</a></code></dt><dt class="spec type" id="type-mode_t"><a href="#type-mode_t" class="anchor"></a><code><span class="keyword">type</span> mode_t</code><code> = <a href="index.html#module-Mode">Mode</a>.t</code></dt><dt class="spec type" id="type-nlink_t"><a href="#type-nlink_t" class="anchor"></a><code><span class="keyword">type</span> nlink_t</code><code> = <a href="index.html#module-Nlink">Nlink</a>.t</code></dt><dt class="spec type" id="type-off_t"><a href="#type-off_t" class="anchor"></a><code><span class="keyword">type</span> off_t</code><code> = <a href="index.html#module-Off">Off</a>.t</code></dt><dt class="spec type" id="type-pid_t"><a href="#type-pid_t" class="anchor"></a><code><span class="keyword">type</span> pid_t</code><code> = <a href="index.html#module-Pid">Pid</a>.t</code></dt><dt class="spec type" id="type-size_t"><a href="#type-size_t" class="anchor"></a><code><span class="keyword">type</span> size_t</code><code> = <a href="index.html#module-Size">Size</a>.t</code></dt><dt class="spec type" id="type-ssize_t"><a href="#type-ssize_t" class="anchor"></a><code><span class="keyword">type</span> ssize_t</code><code> = <a href="index.html#module-Ssize">Ssize</a>.t</code></dt><dt class="spec type" id="type-time_t"><a href="#type-time_t" class="anchor"></a><code><span class="keyword">type</span> time_t</code><code> = <a href="Time/index.html#type-t">Time.t</a></code></dt><dt class="spec type" id="type-uid_t"><a href="#type-uid_t" class="anchor"></a><code><span class="keyword">type</span> uid_t</code><code> = <a href="index.html#module-Uid">Uid</a>.t</code></dt><dt class="spec type" id="type-useconds_t"><a href="#type-useconds_t" class="anchor"></a><code><span class="keyword">type</span> useconds_t</code><code> = <a href="index.html#module-Useconds">Useconds</a>.t</code></dt><dt class="spec type" id="type-suseconds_t"><a href="#type-suseconds_t" class="anchor"></a><code><span class="keyword">type</span> suseconds_t</code><code> = <a href="index.html#module-Suseconds">Suseconds</a>.t</code></dt></dl></section><section><header><h4 id="values"><a href="#values" class="anchor"></a>Values</h4></header><dl><dt class="spec value" id="val-blkcnt_t"><a href="#val-blkcnt_t" class="anchor"></a><code><span class="keyword">val</span> blkcnt_t : <span><a href="index.html#type-blkcnt_t">blkcnt_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-blksize_t"><a href="#val-blksize_t" class="anchor"></a><code><span class="keyword">val</span> blksize_t : <span><a href="index.html#type-blksize_t">blksize_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-clock_t"><a href="#val-clock_t" class="anchor"></a><code><span class="keyword">val</span> clock_t : <span><a href="index.html#type-clock_t">clock_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-clockid_t"><a href="#val-clockid_t" class="anchor"></a><code><span class="keyword">val</span> clockid_t : <span><a href="index.html#type-clockid_t">clockid_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-dev_t"><a href="#val-dev_t" class="anchor"></a><code><span class="keyword">val</span> dev_t : <span><a href="index.html#type-dev_t">dev_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-fsblkcnt_t"><a href="#val-fsblkcnt_t" class="anchor"></a><code><span class="keyword">val</span> fsblkcnt_t : <span><a href="index.html#type-fsblkcnt_t">fsblkcnt_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-fsfilcnt_t"><a href="#val-fsfilcnt_t" class="anchor"></a><code><span class="keyword">val</span> fsfilcnt_t : <span><a href="index.html#type-fsfilcnt_t">fsfilcnt_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-gid_t"><a href="#val-gid_t" class="anchor"></a><code><span class="keyword">val</span> gid_t : <span><a href="index.html#type-gid_t">gid_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-id_t"><a href="#val-id_t" class="anchor"></a><code><span class="keyword">val</span> id_t : <span><a href="index.html#type-id_t">id_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-ino_t"><a href="#val-ino_t" class="anchor"></a><code><span class="keyword">val</span> ino_t : <span><a href="index.html#type-ino_t">ino_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-key_t"><a href="#val-key_t" class="anchor"></a><code><span class="keyword">val</span> key_t : <span><a href="index.html#type-key_t">key_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-mode_t"><a href="#val-mode_t" class="anchor"></a><code><span class="keyword">val</span> mode_t : <span><a href="index.html#type-mode_t">mode_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-nlink_t"><a href="#val-nlink_t" class="anchor"></a><code><span class="keyword">val</span> nlink_t : <span><a href="index.html#type-nlink_t">nlink_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-off_t"><a href="#val-off_t" class="anchor"></a><code><span class="keyword">val</span> off_t : <span><a href="index.html#type-off_t">off_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pid_t"><a href="#val-pid_t" class="anchor"></a><code><span class="keyword">val</span> pid_t : <span><a href="index.html#type-pid_t">pid_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-size_t"><a href="#val-size_t" class="anchor"></a><code><span class="keyword">val</span> size_t : <span><a href="index.html#type-size_t">size_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-ssize_t"><a href="#val-ssize_t" class="anchor"></a><code><span class="keyword">val</span> ssize_t : <span><a href="index.html#type-ssize_t">ssize_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-time_t"><a href="#val-time_t" class="anchor"></a><code><span class="keyword">val</span> time_t : <span><a href="index.html#type-time_t">time_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-uid_t"><a href="#val-uid_t" class="anchor"></a><code><span class="keyword">val</span> uid_t : <span><a href="index.html#type-uid_t">uid_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-useconds_t"><a href="#val-useconds_t" class="anchor"></a><code><span class="keyword">val</span> useconds_t : <span><a href="index.html#type-useconds_t">useconds_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-suseconds_t"><a href="#val-suseconds_t" class="anchor"></a><code><span class="keyword">val</span> suseconds_t : <span><a href="index.html#type-suseconds_t">suseconds_t</a> Ctypes.typ</span></code></dt></dl></section></section><section><header><h3 id="pthread-api"><a href="#pthread-api" class="anchor"></a>Pthread API</h3></header><section><header><h4 id="base-module"><a href="#base-module" class="anchor"></a>Base module</h4></header><div class="spec module" id="module-Pthread"><a href="#module-Pthread" class="anchor"></a><code><span class="keyword">module</span> <a href="Pthread/index.html">Pthread</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></section><section><header><h4 id="types"><a href="#types" class="anchor"></a>Types</h4></header><dl><dt class="spec type" id="type-pthread_attr_t"><a href="#type-pthread_attr_t" class="anchor"></a><code><span class="keyword">type</span> pthread_attr_t</code><code> = <a href="Pthread/Attr/index.html#type-t">Pthread.Attr.t</a></code></dt><dt class="spec type" id="type-pthread_cond_t"><a href="#type-pthread_cond_t" class="anchor"></a><code><span class="keyword">type</span> pthread_cond_t</code><code> = <a href="Pthread/Cond/index.html#type-t">Pthread.Cond.t</a></code></dt><dt class="spec type" id="type-pthread_condattr_t"><a href="#type-pthread_condattr_t" class="anchor"></a><code><span class="keyword">type</span> pthread_condattr_t</code><code> = <a href="Pthread/Condattr/index.html#type-t">Pthread.Condattr.t</a></code></dt><dt class="spec type" id="type-pthread_key_t"><a href="#type-pthread_key_t" class="anchor"></a><code><span class="keyword">type</span> pthread_key_t</code><code> = <a href="Pthread/Key/index.html#type-t">Pthread.Key.t</a></code></dt><dt class="spec type" id="type-pthread_mutex_t"><a href="#type-pthread_mutex_t" class="anchor"></a><code><span class="keyword">type</span> pthread_mutex_t</code><code> = <a href="Pthread/Mutex/index.html#type-t">Pthread.Mutex.t</a></code></dt><dt class="spec type" id="type-pthread_mutexattr_t"><a href="#type-pthread_mutexattr_t" class="anchor"></a><code><span class="keyword">type</span> pthread_mutexattr_t</code><code> = <a href="Pthread/Mutexattr/index.html#type-t">Pthread.Mutexattr.t</a></code></dt><dt class="spec type" id="type-pthread_once_t"><a href="#type-pthread_once_t" class="anchor"></a><code><span class="keyword">type</span> pthread_once_t</code><code> = <a href="Pthread/Once/index.html#type-t">Pthread.Once.t</a></code></dt><dt class="spec type" id="type-pthread_rwlock_t"><a href="#type-pthread_rwlock_t" class="anchor"></a><code><span class="keyword">type</span> pthread_rwlock_t</code><code> = <a href="Pthread/Rwlock/index.html#type-t">Pthread.Rwlock.t</a></code></dt><dt class="spec type" id="type-pthread_rwlockattr_t"><a href="#type-pthread_rwlockattr_t" class="anchor"></a><code><span class="keyword">type</span> pthread_rwlockattr_t</code><code> = <a href="Pthread/Rwlockattr/index.html#type-t">Pthread.Rwlockattr.t</a></code></dt><dt class="spec type" id="type-pthread_t"><a href="#type-pthread_t" class="anchor"></a><code><span class="keyword">type</span> pthread_t</code><code> = <a href="Pthread/T/index.html#type-t">Pthread.T.t</a></code></dt></dl></section><section><header><h4 id="values"><a href="#values" class="anchor"></a>Values</h4></header><dl><dt class="spec value" id="val-pthread_attr_t"><a href="#val-pthread_attr_t" class="anchor"></a><code><span class="keyword">val</span> pthread_attr_t : <span><a href="index.html#type-pthread_attr_t">pthread_attr_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_cond_t"><a href="#val-pthread_cond_t" class="anchor"></a><code><span class="keyword">val</span> pthread_cond_t : <span><a href="index.html#type-pthread_cond_t">pthread_cond_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_condattr_t"><a href="#val-pthread_condattr_t" class="anchor"></a><code><span class="keyword">val</span> pthread_condattr_t : <span><a href="index.html#type-pthread_condattr_t">pthread_condattr_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_key_t"><a href="#val-pthread_key_t" class="anchor"></a><code><span class="keyword">val</span> pthread_key_t : <span><a href="index.html#type-pthread_key_t">pthread_key_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_mutex_t"><a href="#val-pthread_mutex_t" class="anchor"></a><code><span class="keyword">val</span> pthread_mutex_t : <span><a href="index.html#type-pthread_mutex_t">pthread_mutex_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_mutexattr_t"><a href="#val-pthread_mutexattr_t" class="anchor"></a><code><span class="keyword">val</span> pthread_mutexattr_t : <span><a href="index.html#type-pthread_mutexattr_t">pthread_mutexattr_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_once_t"><a href="#val-pthread_once_t" class="anchor"></a><code><span class="keyword">val</span> pthread_once_t : <span><a href="index.html#type-pthread_once_t">pthread_once_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_rwlock_t"><a href="#val-pthread_rwlock_t" class="anchor"></a><code><span class="keyword">val</span> pthread_rwlock_t : <span><a href="index.html#type-pthread_rwlock_t">pthread_rwlock_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_rwlockattr_t"><a href="#val-pthread_rwlockattr_t" class="anchor"></a><code><span class="keyword">val</span> pthread_rwlockattr_t : <span><a href="index.html#type-pthread_rwlockattr_t">pthread_rwlockattr_t</a> Ctypes.typ</span></code></dt><dt class="spec value" id="val-pthread_t"><a href="#val-pthread_t" class="anchor"></a><code><span class="keyword">val</span> pthread_t : <span><a href="index.html#type-pthread_t">pthread_t</a> Ctypes.typ</span></code></dt></dl></section></section></div></body></html>
|
