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]
anons [Command.Spec]
a specification of some number of anonymous arguments

B
base [Substring_intf.S]
base [Make_substring.F]
behavior [Signal]
bigstring [Make_substring]
bigstring [Unix.IOVec]
bigstring [Binable0]
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.S]
bound [Interval_intf.Gen_set]
bound [Interval_intf.Gen]
bound_ [Interval_intf.S]
bound_ [Interval_intf.S1]

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_hashtbl_intf.Creators]
create_options_with_hashable [Core_hashtbl_intf]
create_options_with_hashable_required [Hash_set_intf]
create_options_without_hashable [Hash_set_intf]
create_options_without_hashable [Core_hashtbl_intf]

D
decimal [Common]
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.
flag [Command.Spec]
a flag specification
flow_action [Unix.Terminal_io]
flush_queue [Unix.Terminal_io]
fpclass [Common]

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

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]
interval [Timer]
Type of intervals for repeated events
interval [Interval_intf.Gen_set]
interval_timer [Unix]
The three kinds of interval timers.
interval_timer_status [Unix]

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
m [Unit]
m [Binable0]
m [Binable]
map [Core_map_intf.S]
map [Map.Poly]
month [Month.Export]
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 [Never_returns]
never_returns [Common0]
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]
options [Core_set_intf.Creators]
options [Core_set_intf.Accessors]
options [Core_map_intf.S]
options [Core_map_intf.Creators]
options [Core_map_intf.Accessors]
options [Map.Poly]
options [Map]
outer [Float_intf.S]

P
param [Command.Spec]
specification of an individual parameter to the command's main function
passfail [Common]
phantom [Container]
pid_spec [Signal]
poly_set [Interval_intf.S]
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]
resource [Unix.RLimit]
return [With_return]
return [Common]

S
seek_command [Unix]
POSITIONING modes for UnixLabels.lseek.
select_timeout [Unix]
set [Core_set_intf.S]
set [Core_set_intf.Creators]
setattr_when [Unix.Terminal_io]
sexp_array [Std_internal]
sexp_list [Std_internal]
sexp_opaque [Std_internal]
sexp_option [Std_internal]
sexp_option [Stable_internal]
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]
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]
The concrete type describing the behavior associated with a keyword.
stat [Gc]
stats [Unix.Native_file]
The informations returned by the UnixLabels.stat calls.
stats [Unix]
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_map.Multi.Key]
t [Univ_map.With_fold.Key]
t [Univ_map.With_default.Key]
t [Univ_map.Key]
create name to_sexp generates a fresh key.
t [Univ_map]
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.Comparable_sexpable]
t [Tuple.Make]
t [Tuple.T3]
t [Tuple.T2]
t [Timer]
Type of timers
t [Thread_safe_queue]
t [Zone]
t [Staged]
t [Stable_internal.Sexp]
t [Stable_containers.Map.V1]
t [Stable_containers.Hash_set.V1]
t [Stable_containers.Hashtbl.V1]
t [Stable_containers.Set.V1]
t [Zone.Stable.V1]
t [Weekday.Stable.V1]
t [Time.Stable.V1]
t [String_id.Stable.V1]
t [Squeue]
t [Span.Stable.V1]
t [Span.Parts]
t [Span]
t [Space_safe_tuple.T3]
t [Space_safe_tuple.T2]
t [Source_code_position]
t [Signal]
t [Sexpable.S3]
t [Sexpable.S2]
t [Sexpable.S1]
t [Set_once]
t [Stable_unit_test_intf.Arg]
t [Result.Stable.V1]
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.Stable.V1]
t [Ofday]
t [Nano_mutex]
t [Month.Stable.V1]
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.Epoll.Flags]
An Epoll.Flags.t is an immutable set of flags for which one can register interest for a file descriptor.
t [Linux_ext.Epoll]
An Epoll.t maintains a map from File_descr.t to Flags.t, where the domain is the set of file descriptors that one is interested in, and the flags associated with each file descriptor specify the types of events one is interested in being notified about for that file descriptor.
t [Linux_ext.Priority]
t [Linux_ext.Clock]
t [Linux_ext.Sysinfo]
Result of sysinfo syscall (man 2 sysinfo)
t [Int_set]
t [Int_intf.S]
t [Interval_intf.S.Set]
t [Interval_intf.S]
t [Interval_intf.Gen_set]
t [Interval_intf.Gen]
t [Interval_intf.S1.Set]
t [Interval_intf.S1]
t [Interval.Stable.V1.Ofday]
t [Interval.Stable.V1.Int]
t [Interval.Stable.V1.Float]
t [Stringable.S]
t [Sexpable.S]
t [Robustly_comparable.S]
t [Monad.Infix]
t [Intable.S]
t [Info]
t [In_channel]
t [Identifiable.S]
t [Host_and_port]
t [Heap_block]
t [Heap]
Type of heaps
t [Hash_set_intf.S]
t [Hash_set_intf.Creators]
t [Hash_set.Poly]
t [Hash_set]
t [Hashable.S_binable]
t [Hash_heap.S]
t [Hash_queue.S]
a hash-queue, where the values are of type 'a
t [Hashable.S]
t [Hash_heap.Make]
t [Hash_queue.Make]
t [T.T_bin]
t [T.T2]
t [T.T1]
t [T.T]
t [Fqueue]
t [Force_once]
A "force_once" is a thunk that can only be forced once.
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 [Floatable.S]
t [Exn]
t [Doubly_linked.Elt]
t [Doubly_linked]
t [Dequeue]
t [Date.Stable.V1]
t [Date]
t [Daemon.Fd_redirection]
t [Weak]
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.Error]
t [Unix.File_descr]
t [Thread]
The type of thread handles.
t [String]
t [Stack]
t [Sexp.Sexp_maybe]
t [Sexp.Sexp_opaque]
t [Sexp.Sexp_array]
t [Sexp.Sexp_list]
t [Sexp.Sexp_option]
t [Core_set_intf.S.Tree]
t [Core_set_intf.S]
t [Core_set_intf.Creators]
t [Set.Tree]
t [Set.Poly.Tree]
t [Set.Poly]
t [Set]
t [Queue]
t [Mutex]
t [Core_map_intf.S.Tree]
t [Core_map_intf.S]
t [Core_map_intf.Creators]
t [Core_map_intf.Accessors]
t [Map.Tree]
t [Map.Poly.Tree]
t [Map.Poly]
t [Map]
t [List.Assoc]
t [List]
t [Lazy]
t [Core_hashtbl_intf.S]
t [Core_hashtbl_intf.Creators]
t [Core_hashtbl_intf.Accessors]
t [Core_hashtbl_intf.Key_binable]
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.
t [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 [Command.Spec.Arg_type]
the type of a command line argument
t [Command.Spec]
composable command-line specifications
t [Command]
commands which can be combined into a hierarchy of subcommands
t [Byte_units.Measure]
t [Byte_units]
t [Bucket.S]
t [Bucket.Contents]
t [Bucket.Make]
t [Bounded_int_table]
t [Bool]
t [Blang.Stable.V1]
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_ [Interval_intf.S.Set]
t_ [Interval_intf.S]
t_ [Hash_set_intf.S]
t_ [Core_set_intf.S.Tree]
t_ [Core_set_intf.S]
t_ [Set.Poly.Tree]
t_ [Set.Poly]
t_ [Core_map_intf.S.Tree]
t_ [Core_map_intf.S]
t_ [Map.Poly]
t_ [Map]
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 [Set]
tree [Core_map_intf.S]
tree [Core_map_intf.Creators]
tree [Core_map_intf.Accessors]
tree [Map.Poly]
tree [Map]

U
usage_msg [Arg]

V
variant [Weekday]

W
wait_on [Unix]
with_comparator [Core_set_intf]
with_comparator [Core_map_intf]
with_create_args [Out_channel]
without_comparator [Core_set_intf]
without_comparator [Core_map_intf]