Index of types


_date [Date.Export]
_result [Result.Export]

A
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 [Make_substring]
bigstring [Unix.IOVec]
bigstring [Binable]
blit [Bigstring]
blit ~src ?src_pos ?src_len ~dst ?dst_pos () blits src_len characters from src starting at position src_pos to dst at position dst_pos.
bound [Interval_intf.T_set]
bound [Interval_intf.T]
bound [Interval_intf.S]

C
comparator [Comparator.S1]
comparator [Comparator.S_binable]
comparator [Comparator.S]
comparator [Comparable.S_common]
compare [No_polymorphic_compare]
contents [Bucket.S]
contents [Bucket.Make]
control [Gc]
create_options [Hash_set_intf.Creators]
create_options [Core_set_intf.Creators]
create_options [Core_map_intf.S]
create_options [Core_map_intf.Creators]
create_options [Map.Poly]
create_options [Map]
create_options [Core_hashtbl_intf.Creators]
create_options_with_comparator [Core_set_intf]
create_options_with_comparator [Core_map_intf]
create_options_with_hashable [Core_hashtbl_intf]
create_options_with_hashable_required [Hash_set_intf]
create_options_without_comparator [Core_set_intf]
create_options_without_comparator [Core_map_intf]
create_options_without_hashable [Hash_set_intf]
create_options_without_hashable [Core_hashtbl_intf]

D
decimal [Common]
default [Default.S]
dir_handle [Unix]
The type of descriptors over opened directories.
doc [Arg]

E
elt [Hash_set_intf.S]
elt [Hash_set_intf.Creators]
elt [Core_set_intf.Creators]
elt [Set]
elt [Container.Generic_phantom]
elt [Container.Generic]
elt [Container.S0_phantom]
elt [Container.S0]
elt_ [Hash_set_intf.S]
elt_ [Core_set_intf.S]
endian [Binary_packing]
error [Unix.Exit_or_signal_or_stop]
error [Unix.Exit_or_signal]
error [Unix.Exit]
error [Unix]
The type of error codes.
event [Timer]
Type of events.

F
file_kind [Unix]
file_perm [Unix]
The type of file access rights.
flow_action [Unix.Terminal_io]
flush_queue [Unix.Terminal_io]

G
gen [Quickcheck]
the type of a random 'a-generator
getaddrinfo_option [Unix]
Options to Unix.getaddrinfo.
getnameinfo_option [Unix]
Options to Unix.getnameinfo.

H
hash_set [Hash_set_intf.S]
hashtbl [Core_hashtbl_intf.S]
heap_el [Heap]
Type of heap elements (they can be efficiently removed)

I
immutable [Common]
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 [Core_map_intf.Creators]
key [Core_map_intf.Accessors]
key [Map.Poly]
key [Map]
key [Core_hashtbl_intf.S]
key [Core_hashtbl_intf.Creators]
key [Core_hashtbl_intf.Accessors]
key [Arg]
key_ [Core_map_intf.S]
key_ [Core_hashtbl_intf.S]
kind [Unix.IOVec]
Kind of I/O-vector buffers

L
limit [Unix.RLimit]
lock_command [Unix]
Commands for Unix.lockf.

M
map [Core_map_intf.S]
msg_flag [Unix]
The flags for UnixLabels.recv, UnixLabels.recvfrom, UnixLabels.send and UnixLabels.sendto.

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 _.
no_raise [Sexp]
no_raise is the identity, but by using 'a no_raise in a sexpable type, the resulting use sexp_of_no_raise protects the conversion of 'a to a sexp so that if it fails, one gets a sexp with an error message about the failure, rather than an exception being raised.

O
open_flag [Unix]
The flags to UnixLabels.openfile.
outer [Float_intf.S]

P
passfail [Common]
phantom [Container]
phantom [Default.S]
pid_spec [Signal]
poly_t [Interval_intf.S.Set]
poly_t [Interval_intf.S]
process_times [Unix]
The execution times (CPU times) of a process.

R
read_only [Common]
Handy types for marking things read-only and read-write.
read_write [Common]
real [Default.S]
redirect_fds [Daemon]
resource [Unix.RLimit]
return [With_return]
return [Common]

S
seek_command [Unix]
POSITIONING modes for UnixLabels.lseek.
set [Core_set_intf.S]
set [Core_set_intf.Creators]
setattr_when [Unix.Terminal_io]
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.
sys_behavior [Signal]
The default behaviour of the system if these signals trickle to the top level of a program.
sysconf [Unix]
System configuration

T
t [Time]
A discrete point in time in the universe; not a time in some timezone.
t [Word_size]
t [Weekday]
t [Unpack_buffer.Unpack_one]
t [Unpack_buffer]
t [Univ.Constr]
t [Univ]
t [Unit]
t [Unique_id_intf.Id]
t [Union_find]
type 'a t is the type of objects, where each object is part of an equivalence class that is associated with a single value of type 'a.
t [Tuple.Hashable_sexpable]
t [Tuple.Make]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Thread_safe_queue]
t [Zone]
t [Staged]
t [Squeue]
t [Span.Parts]
t [Span]
t [Space_safe_tuple.T3]
t [Space_safe_tuple.T2]
t [Signal]
t [Sexpable.S3]
t [Sexpable.S2]
t [Sexpable.S1]
t [Set_once]
t [Result]
'a is a function's expected return type, and 'b is often an error message string.
t [Ref]
t [Piecewise_linear.Key]
t [Piecewise_linear.S]
t [Pid]
t [Out_channel]
t [Or_error]
t [Option]
Options are preferred over exceptions.
t [Only_in_test]
t [Ofday]
t [Nano_mutex]
t [Month]
t [Monad.Infix2]
t [Monad.Basic2]
t [Monad.Basic]
t [Monad.Make2.Monad_infix]
t [Monad.Check_S2_refines_S.Monad_infix]
t [Monad.Check_S2_refines_S]
t [Substring_intf.S]
t [Make_substring.Base]
t [Make_substring.F]
t [Make_substring.Blit]
t [Linux_ext.Clock]
t [Linux_ext.Sysinfo]
Result of sysinfo syscall (man 2 sysinfo)
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 [Stringable.S]
t [Sexpable.S]
t [Robustly_comparable.S]
t [Monad.Infix]
t [Intable.S]
t [Int_set]
t [Int_intf.S]
t [In_channel]
t [Identifiable.S]
t [Host_and_port]
t [Heap]
Type of heaps
t [Hashable.S_binable]
t [Hashable.S]
t [T.T_bin]
t [T.T2]
t [T.T1]
t [T.T]
t [Hash_set_intf.S]
t [Hash_set_intf.Creators]
t [Hash_set.Poly]
t [Hash_set]
t [Hash_queue.S]
a hash-queue, where the values are of type 'a
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 [Floatable.S]
t [Float_intf.S.Terse]
t [Float_intf.S.Sign]
t [Float_intf.S.Class]
t [Float_intf.S.Parts]
t [Float_intf.S]
t [Exn]
t [Error]
t [Doubly_linked.Elt]
t [Doubly_linked]
t [Dequeue]
t [Default]
t [Date]
t [Unix.Mman.Mcl_flags]
t [Unix.Scheduler.Policy]
t [Unix.Utsname]
t [Unix.Resource_usage]
t [Unix.RLimit]
t [Unix.IOVec]
Representation of I/O-vectors.
t [Unix.Terminal_io]
t [Unix.Service]
Structure of entries in the services database.
t [Unix.Protocol]
Structure of entries in the protocols database.
t [Unix.Host]
Structure of entries in the hosts database.
t [Unix.Inet_addr]
t [Unix.Protocol_family]
t [Unix.Group]
t [Unix.Passwd]
t [Unix.Select_fds]
t [Unix.Process_channels]
t [Unix.Process_info]
t [Unix.Flock_command]
t [Unix.Exit_or_signal_or_stop]
t [Unix.Exit_or_signal]
t [Unix.Exit]
t [Unix.File_descr]
t [Thread]
The type of thread handles.
t [String]
t [Stack]
t [Sexp.Sexp_maybe]
t [Core_set_intf.S]
t [Core_set_intf.Creators]
t [Set.Poly]
t [Set]
t [Queue]
t [Mutex]
t [Core_map_intf.S]
t [Core_map_intf.Creators]
t [Core_map_intf.Accessors]
t [Map.Poly]
t [Map]
t [List.Assoc]
t [List]
t [Core_hashtbl_intf.S]
t [Core_hashtbl_intf.Creators]
t [Core_hashtbl_intf.Accessors]
t [Core_hashtbl_intf.Key]
t [Hashtbl.Poly]
t [Core_hashtbl_intf.Hashable]
t [Hashtbl]
t [Gc.Control]
t [Gc.Stat]
t [Condition]
t [Char]
An alias for the type of characters.
Bin_prot.Writer.html#TYPEt">t [Bin_prot.Writer.html">Bin_prot.Writer]
t [Array]
t [Arg]
t [Container.Generic_phantom]
t [Container.Generic]
t [Container.S1_phantom]
t [Container.S1]
t [Container.S0_phantom]
t [Container.S0]
t [Container.T]
t [Constrained_float.S]
t [Comparator.Pre_binable]
t [Comparator.Pre]
t [Comparator.S1]
t [Comparator]
t [Comparable.Map_and_set_binable]
t [Polymorphic_compare_intf.Infix]
t [Comparable.Inherit]
t [Comparable.Make_common]
t [Commutative_group.S]
t [Byte_units.Measure]
t [Byte_units]
t [Bucket.S]
t [Bucket.Contents]
t [Bucket.Make]
t [Bounded_int_table]
t [Bool]
t [Blang]
t [Bigstring]
Type of bigstrings
t [Bigbuffer]
The abstract type of buffers.
t [Bag.Elt]
t [Bag]
t [Backtrace]
t [Avltree]
t [Random.State]
t [Agnostic_mutex]
t_ [Hash_set_intf.S]
t_ [Core_set_intf.S]
t_ [Set.Poly]
t_ [Core_map_intf.S]
t_ [Map.Poly]
t_ [Core_hashtbl_intf.S]
t_ [Comparator]
tcp_bool_option [Linux_ext]
tm [Unix]
The type representing wallclock time and calendar date.
tree [Core_set_intf.S]
tree [Core_set_intf.Creators]
tree [Core_set_intf.Accessors]
tree t returns the underlying binary tree that represents the set.
tree [Set]
tree [Core_map_intf.S]
tree [Core_map_intf.Creators]
tree [Core_map_intf.Accessors]
tree t returns the underlying binary tree that represents the map.
tree [Map]

U
usage_msg [Arg]

V
variant [Weekday]
variant [Month]

W
wait_on [Unix]
with_create_args [Out_channel]
write_only [Common]