Index of types


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

B
base [Substring_intf.S]
base [Make_substring.F]
behavior [Signal]
bigstring [Unix_ext.IOVec]
bigstring [Substring_intf]
bigstring [Make_substring]
binable [Bucket.Make]
bound [Interval_intf.T_set]
bound [Interval_intf.T]
bound [Interval_intf.S]
bound [Common]

C
comparable [Comparable.Infix]
comparable [Comparable.Inherit]
comparable [Comparable.Make]
comparable [Comparable.Poly]
container [Hash_queue.Make]
container [Container.S1_noclass]
container [Container.S0_phantom_noclass]
container [Container.S0_noclass]
contents [Bucket.S]
contents [Bucket.Make]
control [Gc]
create [Thread_safe_queue]

D
date [Std]
decimal [Common]
dir_handle [Unix]
The type of descriptors over opened directories.
doc [Arg]

E
elt [Hash_set_intf.Types]
elt [Hash_set_intf.S]
elt [Container.S0_phantom_noclass]
elt [Container.S0_noclass]
elt [Set_intf.Types]
elt [Set_intf.S]
error [Unix]
The type of error codes.
error_type [Linebuf]
event [Timer]
Type of events.

F
file_descr [Unix]
The abstract type of file descriptors.
file_kind [Unix]
File statistics
file_perm [Unix]
The type of file access rights.
flag [Unix_ext.Wordexp_flags]
flag [Unix_ext.Fnmatch_flags]
floatable [Floatable.S]
flow_action [Unix.Terminal_io]
flush_queue [Unix.Terminal_io]

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

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

I
immutable [Common]
handy types for marking things read-only and read-write
inet_addr [Unix]
The abstract type of Internet addresses.
int_spec [Int_conversions]
interval [Timer]
Type of intervals for repeated events
interval [Interval_intf.S1]
interval [Interval_intf.T_set]
interval [Interval_intf.S]
interval_timer [Unix]
The three kinds of interval timers.
interval_timer_status [Unix]
The type describing the status of an interval timer

K
key [Piecewise_linear.S]
key [Hashtbl_intf.Types]
key [Hashtbl_intf.S]
key [Arg]
key [Map_intf.Types]
key [Map_intf.S]
kind [Unix_ext.IOVec]
Kind of I/O-vector buffers

L
limit [Unix_ext.RLimit]
lnum [Linebuf]
lock_command [Unix]
Commands for Unix.lockf.

M
monad [Monad.Infix2]
monad [Monad.Make2.Monad_infix]
monad [Monad.Make.Monad_infix]
monad [Monad.Infix]
msg_flag [Unix]

N
name_info [Unix]
Host and service information returned by Unix.getnameinfo.
never_returns [Common]
never_returns should be used as the return type of functions that don't return and might block forever, rather than 'a or _.

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

P
passfail [Common]
passwd_entry [Unix]
Structure of entries in the passwd database.
poly_t [Interval_intf.S.Set]
poly_t [Interval_intf.S]
process_times [Unix]
The execution times (CPU times) of a process.
protocol_entry [Unix]
Structure of entries in the protocols database.

R
read_only [Common]
handy types for marking things read-only and read-write
read_write [Common]
handy types for marking things read-only and read-write
resource [Unix_ext.RLimit]
result [Linebuf]
result [Common]
robustly_comparable [Robustly_comparable.S]
robustly_comparable [Float_robust_compare]

S
seek_command [Unix]
Positioning modes for UnixLabels.lseek.
service_entry [Unix]
Structure of entries in the services database.
setattr_when [Terminal_io_intf.Types]
sexpable [Sexpable.S3]
sexpable [Sexpable.S2]
sexpable [Sexpable.S1]
sexpable [Sexpable.Of_stringable]
sexpable [Sexpable.S]
sexpable [Bucket.Make]
shutdown_command [Unix]
The type of commands for shutdown.
sigprocmask_command [Signal]
sockaddr [Unix]
The type of socket addresses.
socket_bool_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt and modified with UnixLabels.setsockopt.
socket_domain [Unix]
The type of socket domains.
socket_float_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt_float and modified with UnixLabels.setsockopt_float.
socket_int_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt_int and modified with UnixLabels.setsockopt_int.
socket_optint_option [Unix]
The socket options that can be consulted with UnixLabels.getsockopt_optint and modified with UnixLabels.setsockopt_optint.
socket_type [Unix]
The type of socket kinds, specifying the semantics of communications.
spec [Arg]
stat [Gc]
stats [Unix.Native_file]
The informations returned by the UnixLabels.stat calls.
stats [Unix]
The informations returned by the UnixLabels.stat calls.
stringable [Sexpable.To_stringable]
stringable [Stringable.S]
sys_behavior [Signal]
The default behaviour of the system if these signals trickle to the top level of a program.
sysconf [Unix_ext]
sysinfo [Linux_ext]
Result of sysinfo syscall (man 2 sysinfo)

T
t [Terminal_io_intf.Types]
t [Word_size]
t [Weekday]
t [Unix_ext.Wordexp_flags]
t [Unix_ext.Fnmatch_flags]
t [Unix_ext.Resource_usage]
t [Unix_ext.RLimit]
t [Unix_ext.Clock]
t [Unix_ext.IOVec]
Representation of I/O-vectors.
t [Unique_id.Id]
t [Unique_id.Unit_ref]
t [TZ.Date_time]
t [TZ.Zone]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Time.Ofday]
t [Time.Span.Parts]
t [Time.Span]
t [Time]
A date+time.
t [Time.Date]
t [Squeue]
Synchronized queue type
t [Space_safe_tuple.T3]
t [Space_safe_tuple.T2]
t [Signal]
t [Set_once]
t [Result]
t [Ref]
t [Piecewise_linear.Key]
t [Piecewise_linear.S]
t [Out_channel]
t [Option]
t [Month]
t [Monad.Basic2]
t [Monad.Basic]
t [Substring_intf.S]
t [Make_substring.Base]
t [Make_substring.F]
t [Make_substring.Blit]
t [Linebuf]
The type of a line buffer.
t [Interval_intf.S1.Set]
t [Interval_intf.S1]
t [Interval_intf.T_set]
t [Interval_intf.S.Set]
t [Interval_intf.T]
t [Interval_intf.S]
t [Int_set]
t [Int_intf.S]
t [In_channel]
t [Heap]
Type of heaps
t [Hash_set_intf.S1]
t [Hash_set_intf.Types]
t [Hash_set_intf.S]
t [Hash_queue.S]
t [Hash_queue.Make]
t [Hash_heap.S]
t [Hash_heap.Make]
t [Fqueue]
t [Force_once]
A "force_once" is a thunk that can only be forced once.
t [Float.Sign]
t [Float.Class]
t [Float]
t [Fast_hashtbl]
t [Exn]
t [Error_check.ReportAllFails]
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 [Unix.Select_fds]
t [Unix.Process_channels]
t [Unix.Process_info]
t [Unix.Process_status]
t [Unix.File_descr]
t [Thread]
The type of thread handles.
t [String]
t [Stack]
t [Set_intf.S1]
t [Set_intf.Elt]
t [Queue]
t [Mutex]
t [Map_intf.S2]
t [Map_intf.Key]
t [Map.Make_binable]
t [List]
t [Hashtbl_intf.S2]
t [Hashtbl_intf.Types]
t [Hashtbl_intf.S]
t [Gc.Control]
t [Gc.Stat]
t [Condition]
t [Char]
t [Array]
t [Arg]
t [Set_intf.Types]
t [Set_intf.S]
t [Map_intf.Types]
t [Map_intf.S]
t [Byte_units]
t [Bucket.S]
t [Bucket.Contents]
t [Bucket.Make]
t [Bool]
t [Bigstring]
Type of bigstrings
t [Bigbuffer]
The abstract type of buffers.
t [Bag.Elt]
t [Bag]
t [Agnostic_mutex]
tcp_bool_option [Linux_ext]
Non-portable TCP-functionality
tm [Unix]
The type representing wallclock time and calendar date.
type_class [Container]

U
usage_msg [Arg]

V
variant [Weekday]
variant [Month]

W
wait_flag [Unix]
Flags for UnixLabels.waitpid.
who [Unix_ext.Resource_usage]
write_only [Common]
handy types for marking things read-only and read-write