Index of types


A
access_permission [Core_unix]
Flags for the UnixLabels.access call.
addr_info [Core_unix]
Address information returned by Unix.getaddrinfo.
alarm [Core_gc]
An alarm is a piece of data that calls a user function at the end of each major GC cycle.
anon_fun [Core_arg]

B
bigstring [Unix_ext.IOVec]

C
clock [Unix_ext]
Type of Unix-clocks
comparable [Comparable.Infix]
comparable [Comparable.Inherit]
comparable [Comparable.From_compare]
comparable [Comparable.Poly]
container [Hash_queue.Make]
container [Container.S1]
container [Container.S0_phantom]
container [Container.S0]
control [Core_gc]
The GC parameters are given as a control record.
create [Thread_safe_queue]

D
date [Std]
dir_handle [Core_unix]
The type of descriptors over opened directories.
doc [Core_arg]

E
elt [Hash_set.Mono]
elt [Hash_set.Make]
elt [Container.S0_phantom]
elt [Container.S0]
elt_ [Hash_set.Mono_or_poly]
elt_ [Hash_set.Make_mono_or_poly]
equatable [Equatable.Infix]
error [Core_unix]
The type of error codes.
error_type [Linebuf]
event [Timer]
Type of events.

F
file_descr [Core_unix]
The abstract type of file descriptors.
file_kind [Core_unix]
file_perm [Core_unix]
The type of file access rights.
flag [Linux_ext.Epoll]
flags [Linux_ext.Epoll]
Type of Epoll event flags
floatable [Floatable.S]
flow_action [Core_unix]
flush_queue [Core_unix]

G
gen [Quickcheck]
getaddrinfo_option [Core_unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Core_unix]
Options to Unix.getnameinfo.
group_entry [Core_unix]
Structure of entries in the groups database.

H
hashable [Hashable.S]
hashable [Hashable.Make]
heap_el [Heap]
Type of heap elements (they can be efficiently removed)
host_entry [Core_unix]
Structure of entries in the hosts database.

I
inet_addr [Core_unix]
The abstract type of Internet addresses.
int_spec [Int_conversions]
interval [Timer]
Type of intervals for repeated events
interval_timer [Core_unix]
The three kinds of interval timers.
interval_timer_status [Core_unix]
The type describing the status of an interval timer

K
key [Piecewise_linear.S]
key [Core_hashtbl.S]
key [Core_arg]
kind [Unix_ext.IOVec]
Kind of I/O-vector buffers

L
limit [Unix_ext.RLimit]
lock_command [Core_unix]
Commands for UnixLabels.lockf.

M
monad [Monad.Make.Monad_infix]
monad [Monad.Infix]
msg_flag [Core_unix]

N
name_info [Core_unix]
Name of service or port number

O
open_flag [Core_unix]
The flags to UnixLabels.openfile.

P
passwd_entry [Core_unix]
Structure of entries in the passwd database.
process_status [Core_unix]
The termination status of a process.
process_times [Core_unix]
The execution times (CPU times) of a process.
protocol_entry [Core_unix]
Structure of entries in the protocols database.

R
resource [Unix_ext.RLimit]
result [Linebuf]
robustly_comparable [Robustly_comparable.S]

S
seek_command [Core_unix]
Positioning modes for UnixLabels.lseek.
service_entry [Core_unix]
Structure of entries in the services database.
set [Hash_set.Mono_or_poly]
set [Hash_set.Make_mono_or_poly]
setable [Setable.Make]
setable [Setable.S]
setattr_when [Core_unix]
sexpable [Sexpable.S2]
sexpable [Sexpable.S1]
sexpable [Sexpable.Of_stringable]
sexpable [Interned.Make]
sexpable [Sexpable.S]
shutdown_command [Core_unix]
The type of commands for shutdown.
sigprocmask_command [Core_unix]
sockaddr [Core_unix]
socket_bool_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.
socket_domain [Core_unix]
The type of socket domains.
socket_float_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.
socket_int_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_int and modified with UnixLabels.setsockopt_int.
socket_optint_option [Core_unix]
The socket options that can be consulted with UnixLabels.getsockopt_optint and modified with UnixLabels.setsockopt_optint.
socket_type [Core_unix]
The type of socket kinds, specifying the semantics of communications.
spec [Core_arg]
stat [Core_gc]
The memory management counters are returned in a stat record.
stats [Core_unix.LargeFile]
stats [Core_unix]
The informations returned by the UnixLabels.stat calls.
stringable [Sexpable.To_stringable]
stringable [Interned.Make]
stringable [Stringable.S]
sysconf [Unix_ext]

T
t [Word_size]
t [Unix_ext.RUsage]
t [Unix_ext.RLimit]
t [Unix_ext.IOVec]
Representation of I/O-vectors.
t [Unique_id.Int64]
t [Unique_id.Unit_ref]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Squeue]
Synchronized queue type
t [Space_safe_tuple.T3]
t [Space_safe_tuple.T2]
t [Result]
t [Ref]
t [Piecewise_linear.Key]
t [Piecewise_linear.S]
t [PSet]
t [Out_channel]
t [Option]
t [Month]
t [Monad.Basic]
t [Linebuf]
The type of a line buffer.
t [Interval_set]
t [Interned.S]
t [Interned.Make]
t [Int_intf.S]
t [In_channel]
t [Heap]
Type of heaps
t [Hash_set.Mono]
t [Hash_set.Make]
t [Hash_set.Poly]
t [Hash_queue.S]
t [Hash_queue.Make]
t [Fqueue]
t [Force_once]
A "force_once" is a thunk that can only be forced once.
t [Float.Class]
t [Float]
t [Fast_hashtbl]
t [Exn]
t [Error_check.Step]
t [Error_check.Timer]
t [Error_check.ToggleN]
t [Error_check.Toggle]
t [Doubly_linked.Elt]
t [Doubly_linked]
t [Dequeue]
t [Core_unix.File_descr]
t [Core_string]
t [Core_stack]
t [Core_queue]
t [Core_mutex]
t [Core_list]
t [Core_hashtbl.S]
t [Core_hashtbl]
t [Core_char]
t [Core_array]
t [Core_arg]
t [Bool]
t [Bigstring]
Type of bigstrings
t [Bigbuffer]
The abstract type of buffers.
t [Bag.Elt]
t [Bag]
tcp_bool_option [Linux_ext]
terminal_io [Core_unix]
tm [Core_unix]
The type representing wallclock time and calendar date.

U
usage_msg [Core_arg]

V
variant [Month]

W
wait_flag [Core_unix]
Flags for UnixLabels.waitpid.
who [Unix_ext.RUsage]